Title :
GateMaker: a transistor to gate level model extractor for simulation, automatic test pattern generation and verification
Author_Institution :
Intel Corp., Santa Clara, CA, USA
Abstract :
Hierarchy is key to managing design complexity. A hierarchical design system needs to maintain many views of the same design entity. Some of the examples might be physical view for placement routing and extraction; transistor schematic view for circuit simulation, timing characterization and noise analysis; a gate level schematic view for timing, verification, logic simulation, fault simulation and automatic lest pattern generation (ATPG); a register transfer level (RTL) view for specification and high level simulation etc. In order to achieve highest system performance, multiple design iterations are necessary, each iteration involving both forward and backward pass through hierarchy, with manual changes at any level of the hierarchy. This poses an essential challenge of keeping all views of same design entity in sync. In this paper we describe an automatic tool called GateMaker, that has been developed to extract a gate level schematic model from a transistor level schematic model for the purposes of logic simulation, fault simulation and automatic test pattern generation. This eliminates a manual process and offers manifold advantages that will be discussed in this paper
Keywords :
Boolean functions; CMOS logic circuits; automatic test pattern generation; automatic test software; fault simulation; formal verification; integrated circuit testing; logic simulation; logic testing; software tools; Boolean analysis; GateMaker; automatic test pattern generation; automatic tool; clocked logic; combinational circuit; design complexity; digital CMOS circuits; domino circuit; fault simulation; formal verification; gate level schematic model; hierarchical design system; logic simulation; multiple design iterations; pass transistor logic; transistor level schematic model; transistor to gate level model extractor; Analytical models; Automatic logic units; Automatic test pattern generation; Circuit faults; Circuit noise; Circuit simulation; Noise generators; Noise level; Routing; Timing;
Conference_Titel :
Test Conference, 1998. Proceedings., International
Conference_Location :
Washington, DC
Print_ISBN :
0-7803-5093-6
DOI :
10.1109/TEST.1998.743176