Back to results
University of Illinois at Urbana-Champaign
Formal Representation of Computer Architectures (Simulation, Language, Hardware)
Abstract
dc:descriptionThis 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.
Degree
thesis:*- Name thesis:degree_name
- Ph.D.
- Level thesis:degree_level
- Dissertation
- Discipline thesis:degree_discipline
- Electrical Engineering
- Grantor
- University of Illinois at Urbana-Champaign
- Year dc:date
- 2014
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Norton, Richard Lunt, Jr.
Subjects
dc:subject × 1Identifiers
dc:identifier.*- Identifier
- (UMI)AAI8511652
- OAI identifier oai:identifier
- oai:www.ideals.illinois.edu:2142/69303