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