Symbolic Verification of MOS Circuits (1985)

by R E Bryant
Venue:1985 Chapel Hill Conference on VLSI