Formal verification of digital Mos circuits using symbolic simulation

Vos, Frank
(1990)