Modeling embedded processors and generating fast simulators using the machine description language LISA
TL;DRAbstract
Designers of new processors and software for systems-on-chip need a reliable design methodology and suitable tools to produce fast processor models which cover the relevant hardware details. This goal can be achived efficiently by employing formal processor descriptions using a suitable machine description language combined with retargetable and fast simulation tools being generated from such a formal processor description. This thesis presents the machine description language LISA (language for instruction-set architectures), its generic processor model and the fast retargetable processor simulator that can be generated from LISA descriptions. The language LISA enables the formal description of real embedded processors, their peripherals and interfaces. The development of this new language was necessary because existing languages are focused on either hardware or software properties. LISA uses the form of attributed grammars to combine hardware and software properties of a processor a
Chat with Paper
AI Agents for this Paper
Designers of new processors and software for systems-on-chip need a reliable design methodology and suitable tools to produce fast processor models which cover the relevant hardware details. This goal can be achived efficiently by employing formal processor descriptions using a suitable machine description language combined with retargetable and fast simulation tools being generated from such a formal processor description. This thesis presents the machine description language LISA (language for instruction-set architectures), its generic processor model and the fast retargetable processor simulator that can be generated from LISA descriptions. The language LISA enables the formal description of real embedded processors, their peripherals and interfaces. The development of this new language was necessary because existing languages are focused on either hardware or software properties. LISA uses the form of attributed grammars to combine hardware and software properties of a processor a
Keywords
Chat
Click to start Chat