Verified the gate-level implementation of the FM8502 32-bit processor against its ISA specification using the Boyer-Moore theorem prover.
Microprocessor design verification
Warren A. Hunt Jr.[Google Scholar] [DBLP] [Citeseer]
Journal of Automated Reasoning
5(4)
Springer-Verlag New York, Inc.
Secaucus, NJ, USA
Pages 429-460
November 1989
Note(s): CPU verification, ISA specification
Springer-Verlag New York, Inc.
Secaucus, NJ, USA
Pages 429-460
November 1989
Note(s): CPU verification, ISA specification