Kutter P, Teich J, Weper R (2000)
Publication Type: Conference contribution
Publication year: 2000
Publisher: Springer Verlag
Edited Volumes: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages Range: 266-286
Conference Proceedings Title: Lecture Notes in Computer Science (LNCS) 1912
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.
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: Download