A Semantic-Driven Synthesis Flow for Platform-Based Design
Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli

Citation
Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli. "A Semantic-Driven Synthesis Flow for Platform-Based Design". submitted to Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'06), July, 2006.

Abstract
The separation of concerns between functionality and architecture is a powerful technique used to facilitate design reuse at the system level. This separation of concerns and the successive refinement of the design by mapping functionality onto architecture are the core concepts in platform-based design. The goal of mapping is to optimize a set of objective functions while satisfying constraints on the mapped design. The mapping step can be seen as a synthesis process. While applying the methodology to a number of case studies, we have found that to gain the benefits of correct-by-construction deployment and rapid design space exploration, neither the semantics nor the abstraction levels for modeling can be chosen in an ad-hoc manner. In this paper, we propose a semantics-driven synthesis flow, in which the abstraction level and operational semantics are determined formally by using the concept of a common semantic domain between functionality and architecture. By doing so, a formal synthesis procedure can be defined and algorithms for automatic optimal mapping derived. By applying this approach to the previously mentioned case studies, we demonstrate how this approach can be used to significantly improve the effectiveness of platform-based design.

Electronic downloads

(No downloads are available for this publication.)

Citation formats

• HTML

  Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli.
  <a
  href="http://chess.eecs.berkeley.edu/pubs/118.html"
  >A Semantic-Driven Synthesis Flow for Platform-Based
  Design</a>, submitted to Fourth ACM-IEEE International
  Conference on Formal Methods and Models for Codesign
  (MEMOCODE'06), July, 2006.

• Plain text

  Qi Zhu, Abhijit Davare, Alberto Sangiovanni-Vincentelli.
  "A Semantic-Driven Synthesis Flow for Platform-Based
  Design". submitted to Fourth ACM-IEEE International
  Conference on Formal Methods and Models for Codesign
  (MEMOCODE'06), July, 2006.

• BibTeX

  @inproceedings{ZhuDavareSangiovanniVincentelli06_SemanticDrivenSynthesisFlowForPlatformBasedDesign,
      author = {Qi Zhu and Abhijit Davare and Alberto
                Sangiovanni-Vincentelli},
      title = {A Semantic-Driven Synthesis Flow for
                Platform-Based Design},
      booktitle = {submitted to Fourth ACM-IEEE International
                Conference on Formal Methods and Models for
                Codesign (MEMOCODE'06)},
      month = {July},
      year = {2006},
      abstract = {The separation of concerns between functionality
                and architecture is a powerful technique used to
                facilitate design reuse at the system level. This
                separation of concerns and the successive
                refinement of the design by mapping functionality
                onto architecture are the core concepts in
                platform-based design. The goal of mapping is to
                optimize a set of objective functions while
                satisfying constraints on the mapped design. The
                mapping step can be seen as a synthesis process.
                While applying the methodology to a number of case
                studies, we have found that to gain the benefits
                of correct-by-construction deployment and rapid
                design space exploration, neither the semantics
                nor the abstraction levels for modeling can be
                chosen in an ad-hoc manner. In this paper, we
                propose a semantics-driven synthesis flow, in
                which the abstraction level and operational
                semantics are determined formally by using the
                concept of a common semantic domain between
                functionality and architecture. By doing so, a
                formal synthesis procedure can be defined and
                algorithms for automatic optimal mapping derived.
                By applying this approach to the previously
                mentioned case studies, we demonstrate how this
                approach can be used to significantly improve the
                effectiveness of platform-based design. },
      URL = {http://chess.eecs.berkeley.edu/pubs/118.html}
  }
  

Posted by Abhijit Davare on 15 May 2006.
Groups: chesslocal
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.