Speed up techniques of logic simulation. - Masayuki Miyoshi; Yoshiharu Kazama; Osamu Tada; Yasuo Nagura; Nobutaka Amano (DAC, 1985)

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