Microarchitecture verification by compositional model checking
Ranjit Jhala, Kenneth L. McMillan[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Lecture Notes in Computer Science, volume 2102
Springer
Pages 396-410
2001
Note(s): CPU verification
Lecture Notes in Computer Science, volume 2102
Springer
Pages 396-410
2001
Note(s): CPU verification