*banner
 

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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess