The Community for Technology Leaders
Green Image
Issue No. 05 - May (1978 vol. 11)
ISSN: 0018-9162
pp: 51-56
M.R. Barbacci , Carnegie-Mellon University
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.
INDEX TERMS
null
CITATION

A. Parker and M. Barbacci, "Using Emulaion to Verify Formal Architecture Descriptions," in Computer, vol. 11, no. , pp. 51-56, 1978.
doi:10.1109/C-M.1978.218183
94 ms
(Ver 3.3 (11022016))