Specifying superscalar microprocessors in Hawk (1998)

by Byron Cook, John Launchbury, John Matthews
Venue:In Formal Techniques for Hardware and Hardware-like Systems