Extension of the SystemC Kernel for Simulation Coverage