CMOS transistor network to gate level model extractor for simulation, verification and test generation
CROSS REFERENCE TO RELATED APPLICATION 
     This is a continuation of U.S. application Ser. No. 08/332,180, filed Oct. 31, 1994, abandoned. 
    
    
     FIELD OF THE INVENTION 
     The invention relates to computer aided design tools, and more particularly to a network-to-gate level model extractor for simulation, verification and test generation. 
     BACKGROUND OF THE INVENTION 
     Without CAD tools, large chips can not be designed in time or within budget. Underlying circuit technologies, however, are constantly changing. If CAD tools are technology dependent, then they need constant modification with every change in technology. This is an expensive proposition. 
     Usually, the technology dependent components of a CAD system are kept separate so that the tools do not require constant tinkering. Each CAD tool usually recognizes a common, small set of primitives. All technology specific elements are then described by using these primitives for the use by these tools. 
     The process of expressing behavior of a technology specific entity by primitives recognized by a target CAD tool is called &#34;library&#34; or &#34;rules&#34; or &#34;model&#34; creation. Creation of libraries usually is a two way street, consisting of mapping a technology specific entity to a set of primitives and then verifying that the library/model/rule thus created is a correct representation. The verification of all the rules, however, is extremely time consuming. 
     In known ASIC designs, designers are free only to make choices among only a given, narrow set of library elements. This may inhibit a designer from reaching his/her design goals. A more open set of technology specific entities, however, calls for larger libraries or the creation of a library on demand which the designer may not be trained to do. An ideal solution, therefore, would be to create further software tools that can generate these libraries automatically, providing flexibility and uniformity. 
     The present invention is one such tool. The method of the invention can accept a transistor level netlist and produce a gate level description for automatic test pattern generation purposes. The software environment of the invention is flexible enough to tailor to various user needs. 
     SUMMARY OF THE INVENTION 
     It is an object of the present invention that for a given input/output sequence, the valid machine behavior of the gate level model is the same as the valid machine behavior of the transistor level network. 
     It is a further object of the invention that, working on the gate level model thus produced, the test vectors derived by an automatic test pattern generator (ATPG) should detect failures on nets of the transistor level model. This object stipulates that the transistor level to gate level extractor does more than extracting an equation. Furthermore, there are various fault models such as stuck-at, stuck-open, stuck-on, etc., representing varying degrees of complexity in fault modeling. It is an object of the invention to allow options to reflect such complexity. 
     There are many uses for such a tool, such as: 
     1. Verification: supposing a designer has created a design for an adder using transistors alone. How does the designer know that this indeed is an adder? The gate level model created by the proposed tool will allow designer to carry out a formal verification using a high level or alternate description of the behavior for this macro (cell/library). 
     2. Simulation: the libraries thus created will allow for simpler design simulation. 
     3. Test pattern generation: the requirements from the tool ensure that we have the best possible model for ATPG. 
    
    
     FIGURE 
     The FIGURE shows the relationship of various functions in the extractor method of the present invention. 
    
    
     DETAILED DESCRIPTION 
     Philosophy 
     Conventional, single stuck-at fault model guides the ATPG process such that test vectors place logic values 0 and 1 on every net, while, at the same time, make them logically observable at an output(s). We extend the same principle and wish to make sure that test vectors derived on the translated gate level model actually place values 0 and 1 on the switch level network while making it logically sensitized to an observable output. 
     Mechanism 
     Independent variables are introduced for all nets that control gate input of other transistors. The logic equation for all such nodes are found by tracing paths to power supply nodes and external inputs. A path (channel connected path) is electrically active whenever the transistors on this path conduct simultaneously. Based on this AND condition a an AND gate is formed, and all paths leading to the same terminal node (power supply or external input) are OR-ed together as a bunch. Each of these bunches is then combined by additional logic based on user input on desired fault model complexity. If a node is connected by conduction paths to both 0 and 1 nodes (power supply or input), the output could be defined on the basis of dominance (in current implementation it is defined as X, or logically unknown). Similarly, if a net is floating, that is, if it does not have a path to either 0 or 1, it could be construed as floating (in current implementation it is used as X, but could be changed based on environment). Precharge signals are expected to be identified explicitly. A node has a value 1(0), if it was precharged to 1(0) and during normal operation a path to node 0 (1) is not activated. Precharge information can be taken into consideration while defining logic status of a net. 
     The number of traced paths can be exponentially high and the model could blow up. This may be controlled by eliminating non-functional paths that never conduct under normal conditions. Determination of non-functional paths require a boolean satisfiability solver, and the preferred embodiment of the invention uses a branch and bound justification algorithm to do that, although it can be done by other techniques as well. Examples include approaches based on binary decision diagrams. Elimination of non-functional paths is provided as a user settable option. Boolean satisfiability is not guaranteed to be solvable, so it is parameterized as well to indicate when this process should be suspended. 
     User Issues 
     Users may employ transistors that do not perform any static logic function, but improve timing, noise immunity, etc. If they are properly flagged they can be recognized as such. Other means of recognition are: introducing separate entities in hierarchy, cluster recognition, etc. Sequential elements such as memory, RAM, ROM or analog elements may be embedded in a design on which extractions are performed. In such cases if the boundaries of these entities are clearly specified (through hierarchy or additional user input) they may be properly represented in the final output. External conditions on the input combinations can be provided to work with the boolean satisfiability solver as well. The program can also automatically detect parallel transistors and logically identical switching paths and eliminate duplications from the final model. 
     A preferred implementation of the present invention is presented in the source code listing in the Appendix hereto.