Hardware/Software Codesign of Embedded Systems -The SPI Workbench

Authors:
R. Ernst;D. Ziegenbein;K. Richter;L. Thiele;J. Teich
Affiliations:
-;-;-;-;-
Venue:
WVLSI '99 Proceedings of the IEEE Computer Society Workshop on VLSI'99
Year:
1999

Citing 0
Cited 6

embedded system design with multiple languages: embedded tutorial

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
A Transformational approach to constraint relaxation of a time-driven simulation model

ISSS '00 Proceedings of the 13th international symposium on System synthesis
Modeling Real-Time Systems-Challenges and Work Directions

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Colif: a Multilevel Design Representation for Application-Specific Multiprocessor System-on-Chip Design

RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Object-based hardware/software component interconnection model for interface design in system-on-a-chip circuits

Journal of Systems and Software - Special issue: Rapid system prototyping
Computing platforms

Embedded Systems Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

Embedded systems typically include reactive and transformative functions, often described in different languages and semantics which are well introduced in the various application fields. A large part of the system functionality and components is reused from previous designs including legacy code. There is little hope that a single language will replace this heterogeneous set of languages. A hardware/software codesign process must be able to bridge the semantic differences for verification and synthesis and should accept limited knowledge of system properties. This paper presents the SPI model which is based on intervals of system properties and is specifically targeted to cosynthesis. This model is the basis of a workbench which is currently under construction in an international cooperation.