Whitney, Telle (1981) A Hierarchical Design Rule Checker. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1981.4320-tr-81
Other (Adobe PDF (4 MB))
See Usage Policy.
See Usage Policy.
Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1981.4320-tr-81
This thesis describes a new approach to the problem of Geometrical Design Rule Checking (DRC). Previous DRC implementations have dealt with fully instantiated geometrical artwork. As the complexity of VLSI increases, it becomes infeasible to analyze the vast amounts of information present in a fully instantiated design. The DRC algorithm presented here introduces an approach that exploits the structural hierarchy of a design in order to reduce the computational complexity of the geometrical tests that need to be made. The technique described is also app1icable to other types of design checking such as circuit extraction, functional verification and electrical rule verification. A new DRC algorithm has been developed that, by making use of the structure inherent in a hierarchical design, eliminates many redundant design rule checks. In this approach there are two places where possible design rule violations may occur. The first is within a symbol definition. The second is the area where two symbols interact. The algorithm checks a given definition only once, and then examines how interactions within each new environment where the definition is placed modify the original definition. A note is made after each interaction has been scrutinized, so that a duplicate situation will not be rechecked. An implementation of the hierarchical DRC algorithm has been written at Caltech. This implementation extracts a minimal number of pairwise geometrical comparisons needed to check the entire design. The program accepts as input a design description in the Caltech Intermediate Form (CIF). The output of the program is currently a fully instantiated version of those portions of the gcwrnctry that need to be checked in order to check the entire design. A means of expressing the designer's intent through the design description is required. Current DRCs deal with geometrical artwork exclusively. Most of the difficult design rules are involved in the checking of devices. Rather than restricting the designer to the use of geometry, the idea of a primitive element is introduced. A primitive element is defined to be anything that cannut he broken down into sub-elements. A design defined using primitive elements conveys more of the functional structure than a purely geometric definition.
|Item Type:||Report or Paper (Technical Report)|
|Group:||Computer Science Technical Reports|
|Usage Policy:||You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.|
|Deposited By:||Imported from CaltechCSTR|
|Deposited On:||04 Dec 2002|
|Last Modified:||26 Dec 2012 14:13|
Repository Staff Only: item control page