An automatic test coverage analysis for SystemC description using aspect-oriented programming | IEEE Conference Publication | IEEE Xplore