Algorithm for vectorizing logic simulation and evaluation of 'VELVET' performance | IEEE Conference Publication | IEEE Xplore