• DocumentCode
    511918
  • Title

    The application of Aspectual Feature Module in the development and verification of SystemC models

  • Author

    Ye Jun ; Li Tun ; Tan Qingping

  • Author_Institution
    Sch. of Comput. Sci., Nat. Univ. of Defense Technol., Changsha, China
  • fYear
    2009
  • fDate
    22-24 Sept. 2009
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    It is often the case that lots of SystemC models are needed in the development a SoC project. How to develop these models more efficiently is an urgent problem to solve. The inheritance mechanism of SystemC is not synthesizable, and its synthesizable subset is smaller than the conventional hardware description languages, which restricts the extensive use of SystemC in RTL level. Moreover, in the verification process of SystemC models, code for verification is often tangled with and scattered across the code for design, which violate the fundamental principle of software engineering: Separation of Concerns. This paper proposes for the first time to use Aspectual Feature Module (AFM) to solve the above problems.
  • Keywords
    formal verification; hardware description languages; Aspectual Feature Module; SystemC model; hardware description languages; software engineering; verification; Application software; Computer science; Equations; Hardware design languages; Libraries; Scattering; Software engineering; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Specification & Design Languages, 2009. FDL 2009. Forum on
  • Conference_Location
    Sophia Antipolis
  • ISSN
    1636-9874
  • Electronic_ISBN
    1636-9874
  • Type

    conf

  • Filename
    5404059