The role of parallel simulation in functional verification | IEEE Conference Publication | IEEE Xplore