Proving the correctness of pipelined micro-architectures

Daniel Kroening, Wolfgang J. Paul, Silvia Mueller
[ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of ITG/GI/GMM-Workshop ''Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen''
VDE Verlag
Pages 89-98
2000
Note(s): CPU verification, microarchitecture