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
VDE Verlag
Pages 89-98
2000
Note(s): CPU verification, microarchitecture