"Formal verification of superscale microprocessors with multicycle ..."

Miroslav N. Velev, Randal E. Bryant (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics