A semantic-driven synthesis flow for platform-based design
Qi Xin Zhu, Abhijit Davare, Alberto Luigi Sangiovanni-Vincentelli · 2006
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.