Formal representation of computer architectures (simulation, language, hardware)
Jr. Richard Lunt Norton · 1985
This thesis is on the subject of computer architecture, specifically in the area of architecture representation. The main results are that it is possible to represent computer architectures in a formal fashion and that there are theoretical and practical advantages to considering architecture in the abstract. The representation that we define and propose here is mathematically sound, and admits a very simple and direct translation into an executable program, which can then be used to simulate the machine allowing the evaluation of both the functionality and the performance of a target system.