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
Link To Document