Formally verifying a microprocessor using a simulation methodology (1994)

by D Beatty, R Bryant
Venue:In Proc. 31st Design Automation Conference