Fast Methods for Switch-Level Verification of MOS Circuits (1987)

by D S Reeves, M J Irwin
Venue:IEEE Transactions on Computer-Aided Design