Skip to Main Content
This work addresses the problem of functional verification starting from a high level description of the system under test, specified in SystemC. The verification method considered is based upon the simulation of executable SystemC description. Test coverage analysis is the main technique for checking and showing that the testing has been thorough. We propose an approach to automate the coverage analysis using aspect-oriented programming. Aspects here are described as checkers for detecting coverage. The most important feature using the aspect-oriented technology here is that allows checking functions across classes to be added or replaced without modifying the original code. UML2.0 is used to model the dynamic behavior view of SystemC description as a coverage metric model. Inherently, it is possible to automate the whole test coverage analysis using our methodology.