Testing the FM9001 microprocessor

Kenneth L. Albin, Bishop C. Brock, Warren A. Hunt Jr., Lawrence M. Smith
[Google Scholar] [DBLP] [Citeseer]

Report
Computational Logic, Inc
January 1995
Note(s): CPU verification