SAVE99

A Survey on Hardware/Software Codesign Representation Models

Luis Alejandro Cortes Author homepage
 
Petru Eles Author homepage
Zebo Peng Author homepage

SAVE Project Report, Dept. of Computer and Information Science, Linköping University, Sweden, June 1999.

ABSTRACT
In hardware/software codesign, modeling is a very important issue. The model must capture the features of the system and describe its functionality. The design cycle must be based on formal representations so that the synthesis of a design from specification to implementation can be carried out systematically. Many models have been proposed for representing HW/SW systems. This report is the result of a survey on hardware/software codesign representation models. It relates the characteristics of several existing models and compares their properties. This work is encompassed in the SAVE project, which aims to study the specification and verification of heterogeneous electronic systems. The main objective of this survey is to explore the field of modeling of heterogeneous systems.


Related files:
SAVE99.pdfAdobe Acrobat portable document
SAVE99.ps.gzpostscript document, compressed (with gzip)


[AEP99] Luis Alejandro Cortes, Petru Eles, Zebo Peng, "A Survey on Hardware/Software Codesign Representation Models", SAVE Project Report, Dept. of Computer and Information Science, Linköping University, Sweden, June 1999.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)
Last modified on Monday December 04, 2006 by Gert Jervan