• DocumentCode
    2782976
  • Title

    A systemC-based modular design and verification framework for C-model reuse in a HW/SW-codesign design flow

  • Author

    Blaurock, Ole

  • Author_Institution
    Dept. of Comput. Sci., Hamburg Univ., Germany
  • fYear
    2004
  • fDate
    23-24 March 2004
  • Firstpage
    838
  • Lastpage
    843
  • Abstract
    Rising the level of abstraction in system modelling allows early verification of the system functionality, reducing the risk of long redesign cycles. Moving to a new flow introducing systemC as SDL allows the reuse of existing high-level C-models. A framework is presented that allows C-model integration and the connection of modules located at different levels of abstraction without the need to implement the communication or introduce adaptors to translate between the abstraction levels. The focus of the approach lies on high acceptance by the designers coming from a C and HDL based top-down design methodology.
  • Keywords
    C language; formal verification; hardware description languages; hardware-software codesign; C-model integration; HW/SW-codesign; hardware description language; high-level C-models; system modeling; systemC-based modular design; top-down design methodology; verification framework; Computer science; Concurrent computing; Design methodology; Electrical equipment industry; Embedded software; Hardware design languages; Industrial control; Process design; Software systems; Time to market;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Distributed Computing Systems Workshops, 2004. Proceedings. 24th International Conference on
  • Print_ISBN
    0-7695-2087-1
  • Type

    conf

  • DOI
    10.1109/ICDCSW.2004.1284130
  • Filename
    1284130