"Formal Verification of a Superscalar Execution Unit."

Kyle L. Nelson, Alok Jain, Randal E. Bryant (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics