DocumentCode :
3183627
Title :
A system-level synthesis approach from formal application models to generic bus-based MPSoCs
Author :
Gladigau, Jens ; Gerstlauer, Andreas ; Haubelt, Christian ; Streubühr, Martin ; Teich, Jürgen
Author_Institution :
Dept. of Comput. Sci., Univ. of Erlangen-Nuremberg, Erlangen, Germany
fYear :
2010
fDate :
19-22 July 2010
Firstpage :
118
Lastpage :
125
Abstract :
System-level synthesis is the task of automatically implementing application models as hardware/software systems. It encompasses four basic sub tasks, namely decision making and refinement for both computation and communication. In the past, several system-level synthesis approaches have been proposed. However, it was shown that each of these approaches has drawbacks in at least one of the four sub tasks. In this paper, we present our efforts towards a comprehensive system-level synthesis by combining two academic system-level solutions into a seamless approach that automatically generates pin-accurate implementation-level models starting from a formal application model and generic MPSoC architecture templates. We analyze the system-level synthesis flow and define intermediate representations in terms of transaction level models that serve as link between existing tools. Furthermore, we present the automated transformation between models for combining two design flows. We demonstrate the combined flow on an industrial-strength example and show the benefits of fully automatic exploration and synthesis for rapid and early system-level design.
Keywords :
system-on-chip; decision making; decision refinement; formal application models; generic bus-based MPSoC; hardware-software systems; industrial strength; multiprocessor system-on-chip architecture; pin-accurate implementation-level models; system-level synthesis approach; transaction level models; Computational modeling; Computer architecture; Decision making; Hardware; Processor scheduling; Protocols; Software;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Embedded Computer Systems (SAMOS), 2010 International Conference on
Conference_Location :
Samos
Print_ISBN :
978-1-4244-7936-8
Electronic_ISBN :
978-1-4244-7938-2
Type :
conf
DOI :
10.1109/ICSAMOS.2010.5642076
Filename :
5642076
Link To Document :
بازگشت