Towards an efficient assertion based verification of SystemC designs | IEEE Conference Publication | IEEE Xplore