Computer Science Department
School of Computer Science, Carnegie Mellon University


Symbolic Verification of MOS Circuits


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