Description and Simulation of Microprocessor Instruction Sets Using ASMs

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

DOI: 10.1007/3-540-44518-8_15

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.

Authors with CRIS profile

Related research project(s)

Involved external institutions

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: Download