Automated verification of pipelined microprocessor control (1994)

by J Burch, D Dill
Venue:In Proc. CAV’94