language: en

Testing the FM9001 Microprocessor

Kenneth L. Albin, Bishop C. Brock, Warren A. Hunt, Jr., Lawrence M. Smith
Technical Report 90 January 6, 1995
Computational Logic, Inc.
1717 West Sixth Street, Suite 290 Austin, Texas 78703-4776

[TEL: +1 512 322 9951]

EMAIL: hunt@cli.com

[This work was supported in part at Computational Logic, Inc. and by the Defense Advanced Research Projects Agency, ARPA Orders 6082 and 9151. The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of Computational Logic, Inc.]

[Copyright c 1995 Computational Logic, Inc.]