This paper addresses the problem of functionalverification starting from a high level description ofthe system under test, specified in SystemC. Theverification method considered is based upon thesimulation of executa...
详细信息
ISBN:
(纸本)0780379411
This paper addresses the problem of functionalverification starting from a high level description ofthe system under test, specified in SystemC. Theverification method considered is based upon thesimulation of executable SystemC description. testcoverageanalysis is the main technique for checkingand showing that the testing has been thorough. In thispaper we propose a novel approach to automate thecoverageanalysis using Aspect-Oriented *** here are described as checkers for detectingcoverage. The most important feature using theaspect-oriented technology here is that allowschecking functions across classes to be added orreplaced without modifying the original code. UML2.0is used to model the dynamic behavior view ofSystemC description as a coverage metric modelInherently it is possible to automate the whole testcoverageanalysis using our methodology.
暂无评论