Description and Simulation of Microprocessor Instruction Sets Using ASMs

Conference contribution


Publication Details

Author(s): Kutter P, Teich J, Weper R
Title edited volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher: Springer Verlag
Publication year: 2000
Conference Proceedings Title: Lecture Notes in Computer Science (LNCS) 1912
Pages range: 266-286
ISSN: 1611-3349


Abstract


In this paper, we describe how cycle-accurate processor behavior may be efficiently described using Abstract State Machines (ASMs). Given a register transfer description of the target processor, an extraction mechanism is described following the approach in [26] that extracts so called guarded register transfer patterns from the processor description. It will be shown that these may be directly transformed into a set of ASM rules which in turn provide an executable model of the processor for simulation purposes. Here, we use the ASM description language XASM from which the Gem-Mex tool [2] automatically generates a graphical simulator of a given architecture. The feasibility of this approach is demonstrated for an ARM microprocessor. © Springer-Verlag Berlin Heidelberg 2000.



FAU Authors / FAU Editors

Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


External institutions
Eidgenössische Technische Hochschule Zürich (ETHZ) / Swiss Federal Institute of Technology in Zurich
Universität Paderborn


How to cite

APA:
Kutter, P., Teich, J., & Weper, R. (2000). Description and Simulation of Microprocessor Instruction Sets Using ASMs. In Lecture Notes in Computer Science (LNCS) 1912 (pp. 266-286). Springer Verlag.

MLA:
Kutter, Philipp, Jürgen Teich, and Ralph Weper. "Description and Simulation of Microprocessor Instruction Sets Using ASMs." Proceedings of the International Workshop on Abstract State Machines Springer Verlag, 2000. 266-286.

BibTeX: 

Last updated on 2018-19-10 at 22:10