Formally Verifying a Microprocessor using a Simulation Methodology (1994)

by L Beatty Derek, Ranald E Bryant
Venue:Proceedings of the 31st Design Automation Conference