Description and Simulation of Microprocessor Instruction Sets Using ASMs

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Kutter P, Teich J, Weper R
Titel Sammelwerk: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Verlag: Springer Verlag
Jahr der Veröffentlichung: 2000
Tagungsband: Lecture Notes in Computer Science (LNCS) 1912
Seitenbereich: 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-Autoren / FAU-Herausgeber

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


Autor(en) der externen Einrichtung(en)
Eidgenössische Technische Hochschule Zürich (ETHZ) / Swiss Federal Institute of Technology in Zurich
Universität Paderborn


Zitierweisen

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: 

Zuletzt aktualisiert 2018-19-10 um 22:10

Link teilen