Title :
Overcoming limitations of the SystemC data introspection
Author :
Genz, Christian ; Drechsler, Rolf
Author_Institution :
Inst. of Comput. Sci., Univ. of Bremen, Bremen
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;
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
Conference_Location :
Nice
Print_ISBN :
978-1-4244-3781-8
DOI :
10.1109/DATE.2009.5090734