Deductive verification of advanced out-of-order microprocessors
Shuvendu K. Lahiri, Randal E. Bryant[doi] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Pages 341-353
2003
Note(s): CPU verification
Pages 341-353
2003
Note(s): CPU verification