Formal veri cation of explicitly parallel microarchitectures (1999)

by B Cook, J Launchbury, J Matthews, D Kieburtz