As process and device technologies mature, hundreds of thousands and even millions of transistors are integrated on a single silicon chip. Computer-aided design tools are indispensable for designing such state-of-the-art VLSI chips. The tools for complex integrated circuit design should be different from those for small scale integrated circuit design, for which a small set of tools is adequate. For the verification of small scale integrated circuits, circuit simulators, such as SPICE2 1, are enough. In other words, exhaustive verification of a circuit of such size can be performed at the transistor level in a reasonable CPU time using SPICE2. SPICE2 was originally designed in the early 1970s to analyze circuits containing fewer than a hundred transistors. Unfortunately, SPICE3, the latest version of SPICE, is still inadequate for very large circuits.
KeywordsDigital Circuit Formal Verification Circuit Simulation VLSI Design VLSI Circuit
Unable to display preview. Download preview PDF.