Evaluation of the CFA Test Programs Via Formal Computer Descriptions
Mario R. Barbacci, Daniel P. Siewiorek · Computer · 1977
This article describes an architectural research facility used for the comparison of computer architectures. The facility consists of a compiler, simulator, symbolic translator, and data analysis programs.