• DocumentCode
    2208451
  • Title

    On the Reuse of RTL IPs for SysML Model Generation

  • Author

    Bombieri, Nicola ; Ebeid, E.S.M. ; Fummi, F. ; Lora, M.

  • Author_Institution
    Dept. of Comput. Sci., Univ. of Verona, Verona, Italy
  • fYear
    2012
  • fDate
    10-13 Dec. 2012
  • Firstpage
    54
  • Lastpage
    59
  • Abstract
    Model-based design is getting more and more consensus in the today embedded system design flows. In this context, SysML is becoming the de-facto reference modeling language as it allows designers to model a whole system, both HW and SW, at high levels of abstraction. The SysML description can be defined with different levels of detail, each one suitable to the design and functional verification requirements. In this paper, we propose a methodology for abstracting existing RTL IPs into SysML components. During the abstraction flow, it is possible to set the level of detail to be maintained in SysML, such as, hierarchical structure and data types of the IPs. However, the generated SysML models are complete of both structural and behavioral descriptions and, thus, they can be synthesized into C++, SystemC, or Java executable code for simulation by any commercial tool. As a consequence, the methodology relieves designers from the modeling time and error risks especially for those design and functional verification phases in which the SysML model of the HW architecture is particularly structured and detailed.
  • Keywords
    C++ language; Java; embedded systems; formal verification; logic circuits; logic design; microprocessor chips; simulation languages; C++; HW architecture; Java executable code; RTL IP abstraction; SysML components; SysML description; SysML model generation; SystemC; behavioral descriptions; commercial tool; data types; de-facto reference modeling language; design phases; design requirements; embedded system design flows; error risks; functional verification phases; functional verification requirements; hierarchical structure; high level abstraction; model-based design; register transfer level; structural descriptions; C++.; Register Transfer Level (RTL); System Modeling Language (SysML); SystemC; Unified Modeling Language (UML);
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Microprocessor Test and Verification (MTV), 2012 13th International Workshop on
  • Conference_Location
    Austin, TX
  • ISSN
    1550-4093
  • Print_ISBN
    978-1-4673-4441-8
  • Type

    conf

  • DOI
    10.1109/MTV.2012.10
  • Filename
    6519735