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
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;
Conference_Titel :
Specification & Design Languages, 2009. FDL 2009. Forum on
Conference_Location :
Sophia Antipolis
Electronic_ISBN :
1636-9874