Parallel Multi-core Verilog HDL Simulation Using Domain Partitioning | IEEE Conference Publication | IEEE Xplore