Microarchitecture veri by compositional model checking (2001)

by R Jhala, K McMillan
Venue:In CAV 2001, LNCS 2102