Title :
A semantic-driven synthesis flow for platform-based design
Author :
Zhu, Qi ; Davare, Abhijit ; Sangiovanni-Vincentelli, Alberto
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci.,, California Univ., Berkeley, CA
Abstract :
In this work, we propose a semantics-driven synthesis flow, in which the semantics and the abstraction level are determined formally by using the concept of a common modeling domain between functionality and architecture. By doing so, a formal synthesis procedure can be defined and algorithms for automatic optimal mapping derived
Keywords :
formal specification; high level synthesis; mathematical programming; automatic optimal mapping; common modeling domain; formal synthesis procedure; mathematical programming; platform-based design; semantic-driven synthesis flow; Algorithm design and analysis; Automotive engineering; Costs; Cyclic redundancy check; Design methodology; Embedded system; Libraries; Mathematical programming; Process design; Space exploration;
Conference_Titel :
Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on
Conference_Location :
Napa, CA
Print_ISBN :
1-4244-0421-5
DOI :
10.1109/MEMCOD.2006.1695928
