[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines

Subjects

Methodology

Applications

ASM Studies

Hierarchical Microprocessor Design

Citation: Matthias Anlauff, Dirk Fischer, Philipp W. Kutter, Jürgen Teich, and Ralph Weper, "Hierarchical Microprocessor Design Using XASM". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 271-274.
Summary: A discussion of a tool-supported approach for microprocessor design. Designs are automatically translated into XASM code.
Subjects: Hardware
Download: From Dirk Fischer's website in compressed PostScript.
Notes:  
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/microxasm.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT