Formal Verification of Superscalar Microprocessors with Multicycle Functional Units, Exceptions, (2000)

by M N Velev, R E Bryant
Venue:and Branch Prediction,” Design Automation Conference (DAC ’00),