Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

Authors:
Giuseppe Del Castillo;Wolfram Hardt
Affiliations:
Heinz Nixdorf Institut, Department of Mathematics & Computer Science, University of Paderborn, Füürstenallee 11, 33102 Paderborn, Germany;C-LAB: Cooperative Computing & Communication Laboratory, Siemens Nixdorf Informationssysteme AG & University of Paderborn, Fü& University of Paderborn, Füürstenallee 11, 33102 Pader ...
Venue:
Proceedings of the 6th international workshop on Hardware/software codesign
Year:
1998

COSYMA: a software-oriented approach to hardware/software codesign

Journal of Computer and Software Engineering - Special issue: hardware-software codesign
Evolving algebras 1993: Lipari guide

Specification and validation methods
Embedded system design

Design Automation for Embedded Systems
Speed-up estimation for HW/SW-systems

CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study)

ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

High Level System Design and Analysis Using Abstract State Machines

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Description and Simulation of Microprocessor Instruction Sets Using ASMs

ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications

Hi-index	0.01