Parallel logic simulation on general purpose machines | IEEE Conference Publication | IEEE Xplore