DocumentCode :
549600
Title :
Extracting behavior and dynamically generated hierarchy from SystemC models
Author :
Broeders, Harry ; Van Leuken, René
Author_Institution :
Delft Univ. of Technol., Delft, Netherlands
fYear :
2011
fDate :
5-9 June 2011
Firstpage :
357
Lastpage :
362
Abstract :
We present a novel approach to extract the dynamically generated module hierarchy and its behavior from a SystemC model. SystemC is a popular modeling language which can be used to specify systems at a high abstraction level. The module hierarchy of a SystemC model is dynamically constructed during the execution of the elaboration phase of the model. This means that a system designer can build regular structures using loops and conditional statements. Currently, most SystemC tools can not cope with SystemC models for which the module hierarchy depends on dynamic parameters. In our approach this hierarchical information is retrieved by controlling and monitoring the executing of the elaboration phase of the model using a GDB debugger. Thereafter, the behavioral information is retrieved by using a GCC plug-in. This plug-in produces abstract syntax trees in static single assignment form. This behavioral information is linked with the hierarchical information. Our approach is completely non-intrusive. The SystemC model and the SystemC reference implementation can be used without any modification. We have implemented our approach in a SystemC front-end called SHaBE (SystemC Hierarchy and Behavior Extractor). This front-end facilitates the development of future SystemC visualization, debugging, static verification, and synthesis tools.
Keywords :
computational linguistics; high level languages; program debugging; program verification; GCC plug-in; GDB debugger; SHaBE; SystemC front-end; SystemC hierarchy; abstract syntax trees; abstraction level; dynamic parameters; dynamically generated module hierarchy; extracting behavior; hierarchical information; modeling language; static single assignment form; static verification; Adders; Analytical models; Arrays; Complexity theory; Data models; Finite impulse response filter; Libraries; AST; Automation; GCC; GDB; SystemC; analyze; dynamic module hierarchy; elaboration; front-end; system specification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference (DAC), 2011 48th ACM/EDAC/IEEE
Conference_Location :
New York, NY
ISSN :
0738-100x
Print_ISBN :
978-1-4503-0636-2
Type :
conf
Filename :
5981956
Link To Document :
بازگشت