A framework for microprocessor correctness statements
Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Springer
Berlin, Heidelberg
Pages 433-448
2001
Note(s): CPU verification
Springer
Berlin, Heidelberg
Pages 433-448
2001
Note(s): CPU verification