• DocumentCode
    1908172
  • Title

    LBSD 1: SystemC analysis

  • Author

    Flake, Peter ; Oppenheimer, Frank

  • Author_Institution
    Elda Technologies, USA
  • fYear
    2012
  • fDate
    18-20 Sept. 2012
  • Firstpage
    105
  • Lastpage
    105
  • Abstract
    Static and dynamic analysis are essential techniques for extracting information about a design being modeled or the model itself. This session deals with analysis of SystemC models. The papers address high-level power estimation, detection of nondeterminism anomalies, and localization of features in complex models.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Specification and Design Languages (FDL), 2012 Forum on
  • Conference_Location
    Vienna, Austria
  • ISSN
    1636-9874
  • Print_ISBN
    978-1-4673-1240-0
  • Type

    conf

  • Filename
    6336993