Speed up techniques of logic simulation.

Masayuki Miyoshi, Yoshiharu Kazama, Osamu Tada, Yasuo Nagura, Nobutaka Amano

Browse the full DAC paper archive.