Functional verification of MOS circuits (1987)

by D Weise
Venue:24th Design Automation Conference, ACM and IEEE