• 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