Using Emulaion to Verify Formal Architecture Descriptions

1 May 1978

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 11 (5) , 51-56
https://doi.org/10.1109/c-m.1978.218183

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

COMPUTER ARCHITECTURE
MILITARY COMPUTING
TESTING
COMPUTATIONAL MODELING
MILITARY STANDARDS
COMMAND LANGUAGES
COUNTING CIRCUITS
DIGITAL SYSTEMS

This publication has 2 references indexed in Scilit:

The Computer Family Architecture Project: Service Perspectives and Overview
Computer, 1977
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers, 1975