Simulation meets verification-checking temporal properties in SystemC | IEEE Conference Publication | IEEE Xplore