Design and implementation of a parallel Verilog simulator: PVSim | IEEE Conference Publication | IEEE Xplore