Parallel logic simulation of million-gate VLSI circuits | IEEE Conference Publication | IEEE Xplore