E#cient simulation of formal processor models (2001)

by M Wilding, D Greve, D Hardin
Venue:Formal Methods in System Design