A methodology for large-scale hardware verification
Mark D. Aagaard, Robert B. Jones, Thomas F. Melham, John W. O'Leary, Carl-Johan H. Seger[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Springer
Berlin, Heidelberg
Pages 300-319
2000
Note(s): CPU verification
Springer
Berlin, Heidelberg
Pages 300-319
2000
Note(s): CPU verification