CaltechCONF
  A Caltech Library Service

Functional Verification in an Interactive Symbolic IC Design Environment

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

[img]
Preview
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:
URLURL TypeDescription
http://resolver.caltech.edu/CaltechAUTHORS:20120502-113421018PublisherUNSPECIFIED
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