Ackland, Bryan and Weste, Neil (1981) Functional Verification in an Interactive Symbolic IC Design Environment. In: Proceedings of the Second Caltech Conference on Very Large Scale Integration. California Institute of Technology , Pasadena, CA, pp. 285-298. https://resolver.caltech.edu/CaltechCONF:20120507-153514157
|
PDF
- Published Version
See Usage Policy. 1MB |
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCONF:20120507-153514157
Abstract
This paper describes verification techniques that have been implemented as part of an interactive symbolic IC design system. Circuit analysis programs perform node extraction and gate decomposition. They generate both transistor and gate level circuit desriptions which are used as input to a transistor level digital MOS timing simulator. The extraction programs make use of an intermediate circuit description language which captures both geometric placement and circuit connectivity. All programs are written in the C programming language and run under the UNIX operating system. An example is included to demonstrate the operation of these various techniques.
Item Type: | Book Section | ||||||
---|---|---|---|---|---|---|---|
Record Number: | CaltechCONF:20120507-153514157 | ||||||
Persistent URL: | https://resolver.caltech.edu/CaltechCONF:20120507-153514157 | ||||||
Related URLs: |
| ||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||
ID Code: | 214 | ||||||
Collection: | CaltechCONF | ||||||
Deposited By: | Kristin Buxton | ||||||
Deposited On: | 08 Aug 2012 16:53 | ||||||
Last Modified: | 03 Oct 2019 22:50 |
Repository Staff Only: item control page