A Survey on Hardware/Software Codesign Representation Models
SAVE Project Report, Dept. of Computer and Information Science, Linköping University, Sweden, June 1999.
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.
|SAVE99.pdf||Adobe Acrobat portable document|
|SAVE99.ps.gz||postscript 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.