Symbolic simulation of the JEM1 microprocessor
David A. Greve[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings
Springer
Berlin, Heidelberg
Pages 321-333
1998
Note(s): CPU verification
Springer
Berlin, Heidelberg
Pages 321-333
1998
Note(s): CPU verification