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
Link To Document :
بازگشت