• DocumentCode
    2173437
  • Title

    Overcoming limitations of the SystemC data introspection

  • Author

    Genz, Christian ; Drechsler, Rolf

  • Author_Institution
    Inst. of Comput. Sci., Univ. of Bremen, Bremen
  • fYear
    2009
  • fDate
    20-24 April 2009
  • Firstpage
    590
  • Lastpage
    593
  • Abstract
    Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of the respective model, the SystemC Verification Library (SCV) implements a concept called data introspection. Unfortunately data introspection holds problems that arise with increasing usage of language features. Native C++ data types for instance will not appear in meta-data extracted by introspection facilities. In this paper we propose a non-intrusive analysis concept to overcome the drawbacks of traditional data introspection. The presented approach is a hybrid technique joining a parser to collect statical information and a code generator to evaluate run time information.
  • Keywords
    formal verification; program debugging; program testing; software libraries; C++ data types; SystemC Verification Library; SystemC model; code generator; data introspection; non-intrusive analysis; run time information; Application software; Computer science; Data analysis; Data mining; Data visualization; Debugging; Libraries; Process design; Software algorithms; System testing; SystemC; analysis; data introspection; intermediate representation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
  • Conference_Location
    Nice
  • ISSN
    1530-1591
  • Print_ISBN
    978-1-4244-3781-8
  • Type

    conf

  • DOI
    10.1109/DATE.2009.5090734
  • Filename
    5090734