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.


Digital Circuit Formal Verification Circuit Simulation VLSI Design VLSI Circuit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1995

Authors and Affiliations

  • Jeong-Taek Kong
    • 1
  • David Overhauser
    • 2
  1. 1.Samsung Electronics Co., Ltd.Korea
  2. 2.Duke UniversityUSA

Personalised recommendations