Ecient simulation of formal processor models (2001)

by Matthew Wilding, David Greve, David Hardin
Venue:Formal Methods in System Design