Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines | IEEE Conference Publication | IEEE Xplore