• DocumentCode
    2191287
  • Title

    A HDL-independent modeling methodology for heterogeneous system designs

  • Author

    Kajtazovic, Suad ; Steger, Christian ; Pistauer, Markus

  • Author_Institution
    Inst. for Tech. Informatics, Graz Univ. of Technol., Austria
  • fYear
    2005
  • fDate
    22-23 Sept. 2005
  • Firstpage
    88
  • Lastpage
    93
  • Abstract
    This paper introduces a description methodology to be used in heterogeneous, multi-HDL (hardware description language) system designs. Complex microelectronic embedded systems contain more and more concurrently designed subsystems, which are mostly coded in different HDLs to get best model performances. Verification of all subsystems in one environment represents a difficult task. This paper focuses on a HDL-independent description methodology, which enables a description of models coded in different HDLs using the same language semantic. Moreover, it supports a verification methodology for heterogeneous systems based on a cosimulation using standard EDA tools. The proposed description methodology has been applied on an application framework for heterogeneous system verification and later on evaluated by an example taken from the automotive industry.
  • Keywords
    embedded systems; formal verification; hardware description languages; systems analysis; HDL-independent description methodology; automotive industry; cosimulation; hardware description language; heterogeneous system design; heterogeneous system verification; language semantic; microelectronic embedded system; Application software; Automotive engineering; Electronic design automation and methodology; Embedded system; Hardware design languages; Informatics; Lakes; Microelectronics; Optical design; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Behavioral Modeling and Simulation Workshop, 2005. BMAS 2005. Proceedings of the 2005 IEEE International
  • Print_ISBN
    0-7803-9352-X
  • Type

    conf

  • DOI
    10.1109/BMAS.2005.1518193
  • Filename
    1518193