An extensive logic simulation method of very large scale computer design. - Masayuki Miyoshi; Yoshio Ooshima; Atsushi Sugiyama; Nobuhiko Onizuka; Nobutaka Amano (DAC, 1986)