Eective use of Boolean satis procedures in the formal veri of superscalar and VLIW microprocessors (2001)

by M N Velev, R E Bryant
Venue:In Design Automation Conference (DAC '01