NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Generic interpreters and microprocessor verificationThe following topics are covered in viewgraph form: (1) generic interpreters; (2) Viper microprocessors; (3) microprocessor verification; (4) determining correctness; (5) hierarchical decomposition; (6) interpreter theory; (7) AVM-1; (8) phase-level specification; and future work.
Document ID
19910008259
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Windley, Phillip J. (Idaho Univ. Moscow, ID, United States)
Date Acquired
September 6, 2013
Publication Date
November 1, 1990
Publication Information
Publication: NASA, Langley Research Center, NASA Formal Methods Workshop, 1990
Subject Category
Computer Operations And Hardware
Accession Number
91N17572
Funding Number(s)
CONTRACT_GRANT: NAS1-18586
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available