DocumentCode
2565938
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
fYear
2006
fDate
27-30 July 2006
Firstpage
199
Lastpage
199
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/MEMCOD.2006.1695928
Filename
1695928
Link To Document