DocumentCode :
1000721
Title :
Using Emulaion to Verify Formal Architecture Descriptions
Author :
Barbacci, Mario R. ; Parker, Alan
Author_Institution :
Carnegie-Mellon University
Volume :
11
Issue :
5
fYear :
1978
fDate :
5/1/1978 12:00:00 AM
Firstpage :
51
Lastpage :
56
Abstract :
Does the reference manual actually describe the real computer? Not entirely, but the authors, starting with a simulation based on the written word, worked out the remaining errors using the machine diagnostics as the last word.
Keywords :
Command languages; Computational modeling; Computer architecture; Counting circuits; Digital systems; Military computing; Military standards; Testing;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/C-M.1978.218183
Filename :
1646958
Link To Document :
بازگشت