Algorithm for Vectorizing Logic Simulation and Evaluation of "VELVET" Performance. - Yoshiharu Kazama; Yoshiaki Kinoshita; Motonobu Nagafuji; Hiroshi Murayama (DAC, 1988)