Using Emulaion to Verify Formal Architecture Descriptions

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.