Correct and Non-Defensive Glue Design using Abstract Models
Stavros Tripakis, Hugo Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Gerald Wang, Guang Yang, Jacob Korneup, Ian Wong

Citation
Stavros Tripakis, Hugo Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Gerald Wang, Guang Yang, Jacob Korneup, Ian Wong. "Correct and Non-Defensive Glue Design using Abstract Models". CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, ACM, 59-68, October, 2011.

Abstract
Current hardware design practice often relies on integration of components, some of which may be IP or legacy blocks. While integration eases design by allowing modularization and component reuse, it is still done in a mostly ad hoc manner. Designers work with descriptions of components that are either informal or incomplete (e.g., documents in English, structural but non-behavioral specifications in IP-XACT) or too low-level (e.g., HDL code), and have little to no automatic support for stitching the components together. Providing such support is the glue design problem. This paper addresses this problem using a model-based approach. The key idea is to use high-level models, such as dataflow graphs, that enable efficient automated analysis. The analysis can be used to derive performance properties of the system (e.g., component compatibility, throughput, etc.), optimize resource usage (e.g., buffer sizes), and even synthesize low-level code (e.g., control logic). However, these models are only abstractions of the real system, and often omit critical information. As a result, the analysis outcomes may be defensive (e.g., buffers that are too big) or even incorrect (e.g., buffers that are too small). The paper examines these situations and proposes a correct and non-defensive design methodology that employs the right models to explore accurate performance and resource trade-offs.

Electronic downloads

Internal. This publication has been marked by the author for Chess-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Stavros Tripakis, Hugo Andrade, Arkadeb Ghosal, Rhishikesh
  Limaye, Kaushik Ravindran, Guoqiang Gerald Wang, Guang Yang,
  Jacob Korneup, Ian Wong. <a
  href="http://chess.eecs.berkeley.edu/pubs/856.html"
  >Correct and Non-Defensive Glue Design using Abstract
  Models</a>, CODES+ISSS '11: Proceedings of the seventh
  IEEE/ACM/IFIP international conference on Hardware/software
  codesign and system synthesis, ACM, 59-68, October, 2011.

• Plain text

  Stavros Tripakis, Hugo Andrade, Arkadeb Ghosal, Rhishikesh
  Limaye, Kaushik Ravindran, Guoqiang Gerald Wang, Guang Yang,
  Jacob Korneup, Ian Wong. "Correct and Non-Defensive
  Glue Design using Abstract Models". CODES+ISSS '11:
  Proceedings of the seventh IEEE/ACM/IFIP international
  conference on Hardware/software codesign and system
  synthesis, ACM, 59-68, October, 2011.

• BibTeX

  @inproceedings{TripakisAndradeGhosalLimayeRavindranWangYangKorneup11_CorrectNonDefensiveGlueDesignUsingAbstractModels,
      author = {Stavros Tripakis and Hugo Andrade and Arkadeb
                Ghosal and Rhishikesh Limaye and Kaushik Ravindran
                and Guoqiang Gerald Wang and Guang Yang and Jacob
                Korneup and Ian Wong},
      title = {Correct and Non-Defensive Glue Design using
                Abstract Models},
      booktitle = {CODES+ISSS '11: Proceedings of the seventh
                IEEE/ACM/IFIP international conference on
                Hardware/software codesign and system synthesis},
      organization = {ACM},
      pages = {59-68},
      month = {October},
      year = {2011},
      abstract = {Current hardware design practice often relies on
                integration of components, some of which may be IP
                or legacy blocks. While integration eases design
                by allowing modularization and component reuse, it
                is still done in a mostly ad hoc manner. Designers
                work with descriptions of components that are
                either informal or incomplete (e.g., documents in
                English, structural but non-behavioral
                specifications in IP-XACT) or too low-level (e.g.,
                HDL code), and have little to no automatic support
                for stitching the components together. Providing
                such support is the glue design problem. This
                paper addresses this problem using a model-based
                approach. The key idea is to use high-level
                models, such as dataflow graphs, that enable
                efficient automated analysis. The analysis can be
                used to derive performance properties of the
                system (e.g., component compatibility, throughput,
                etc.), optimize resource usage (e.g., buffer
                sizes), and even synthesize low-level code (e.g.,
                control logic). However, these models are only
                abstractions of the real system, and often omit
                critical information. As a result, the analysis
                outcomes may be defensive (e.g., buffers that are
                too big) or even incorrect (e.g., buffers that are
                too small). The paper examines these situations
                and proposes a correct and non-defensive design
                methodology that employs the right models to
                explore accurate performance and resource
                trade-offs. },
      URL = {http://chess.eecs.berkeley.edu/pubs/856.html}
  }
  

Posted by Stavros Tripakis on 5 Oct 2011.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.