Formal verification of a superscalar execution unit (1997)

by K L Nelson, A Jain, R E Bryant
Venue:34th Design Automation Conference (DAC ’97