• DocumentCode
    465251
  • Title

    Language Extensions to SystemC: Process Control Constructs

  • Author

    Bhattacharya, Bishnupriya ; Rose, John ; Swan, Stuart

  • Author_Institution
    Cadence Design Syst. Inc., San Jose
  • fYear
    2007
  • fDate
    4-8 June 2007
  • Firstpage
    35
  • Lastpage
    38
  • Abstract
    The SystemC language has established itself as a popular choice for both modeling and verification at the system level. A well known deficiency in SystemC is the lack of process control constructs - e.g., suspend-resume, kill, reset - that are necessary in many applications domains. This paper identifies and describes a fundamental set of general purpose SystemC kernel extensions that fulfills this deficiency. Effective application of our language extensions are demonstrated in testbench and abstract hardware modeling scenarios.
  • Keywords
    C++ language; formal verification; hardware description languages; SystemC kernel extensions; SystemC language; language extensions; process control constructs; system modeling; system verification; Computer graphics; Fires; Hardware; Kernel; Monitoring; Portable computers; Power system modeling; Process control; Switches; System testing; Design; Languages; Process Control Constructs; Standardization; SystemC; Testbench; Verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference, 2007. DAC '07. 44th ACM/IEEE
  • Conference_Location
    San Diego, CA
  • ISSN
    0738-100X
  • Print_ISBN
    978-1-59593-627-1
  • Type

    conf

  • Filename
    4261139