CaltechAUTHORS
  A Caltech Library Service

Modeling and Verification in Structured Integrated Circuit Design

Buchanan, Irene (1980) Modeling and Verification in Structured Integrated Circuit Design. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80

[img]
Preview
Other (Adobe PDF (11MB))
See Usage Policy.

10Mb
[img]
Preview
Postscript
See Usage Policy.

11Mb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80

Abstract

Traditional design tools based on geometric representations do not provide an adequate base from which to construct and verify silicon implementations of complex systems. More comprehensive structural, physical and behavioural descriptions must be developed from appropriate representations. This thesis proposes models which may be used to construct unified and consistent descriptions of the structural, physical and behavoural attributes of a design. It also discusses a method of capturing these descriptions using a textual representation embedded in an object oriented programming language. A range of subsytems have been implemented within a design environment tailored to the proposed models of the design activitiy. In addition to the typical graphical feedback and mask making oriented output a comprehensibe list of verificaiton procedures has been integrated into the system. These include dimensional design rule checking, electrical calculations, connectivity verification and simulation at a number of levels of abstraction.


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1980.3642-tr-80
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1980.3642-tr-80
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:27049
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:04 Dec 2002
Last Modified:26 Dec 2012 14:13

Repository Staff Only: item control page