DocumentCode
2524879
Title
GateMaker: a transistor to gate level model extractor for simulation, automatic test pattern generation and verification
Author
Kundu, Sandip
Author_Institution
Intel Corp., Santa Clara, CA, USA
fYear
1998
fDate
18-23 Oct 1998
Firstpage
372
Lastpage
381
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Test Conference, 1998. Proceedings., International
Conference_Location
Washington, DC
ISSN
1089-3539
Print_ISBN
0-7803-5093-6
Type
conf
DOI
10.1109/TEST.1998.743176
Filename
743176
Link To Document