Formally Verifying a Microprocessor Using a Simulation Methodology (1994)

by D Beaty, R Bryant
Venue:In Proc. of DAC’94