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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

HW/SW Modeling


Citation: Giuseppe Del Castillo and Wolfram Hardt, "Fast Dynamic Analysis of Complex HW/SW-Systems based on Abstract State Machine Models", in Proceedings of the Sixth International Workshop on Hardware/Software Codesign (CODES/CASHE'98), Seattle, Washington, March 15-18, 1998, pp. 77-81.
Summary: ASMs are used for high-level analysis of hardware/software systems. The authors show how to model instruction sets and instrument such models to collect data for evaluating design alternatives. Experimental results are included.
Subjects: Hardware
Download: PostScript, PDF, Compressed PostScript
Notes: See also another version of this paper.
[an error occurred while processing this directive]