Verification of an implementation of Tomasulo's algorithm by compositional model checking
Kenneth L. McMillan[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings
Springer
Berlin, Heidelberg
Pages 110-121
1998
Note(s): CPU verification, model checking
Springer
Berlin, Heidelberg
Pages 110-121
1998
Note(s): CPU verification, model checking