Title :
Using Emulaion to Verify Formal Architecture Descriptions
Author :
Barbacci, Mario R. ; Parker, Alan
Author_Institution :
Carnegie-Mellon University
fDate :
5/1/1978 12:00:00 AM
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;
DOI :
10.1109/C-M.1978.218183