The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1978 vol.11)
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
M.R. Barbacci, "Using Emulaion to Verify Formal Architecture Descriptions", Computer, vol.11, no. 5, pp. 51-56, May 1978, doi:10.1109/C-M.1978.218183
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool