Symbolic Verification of MOS Circuits

CMU-CS-85-120

Randal E. Bryant

March 1985 oot This paper was presented at the 1985 Chapel Hill Conference on VLSI.

The program MOSSYM simulates the behavior of a MOS circuit represented as a switch-level network symbolically . That is, during simulator operation the user can set an input to either 0, 1, or a Boolean variable. The simulator then computes the behavior of the circuit as a function of the past and present input variables. By using heuristically efficient Boolean function manipulation algorithms, the verification of a circuit by symbolic simulation can proceed much more quickly than by exhaustive logic simulation. In this paper we present our concept of symbolic simulation, derive an algorithm for switch-level symbolic simulation, and present experimental measurements from MOSSYM.

16 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by reports@cs.cmu.edu