Automatic test generation for large digital circuits. - Akihiko Yamada; Nobuo Wakatsuki; Hideo Shibano; Osamu Itoh; Kyoji Tomita; Shigehiro Funatsu (DAC, 1977)

MIXS: A mixed level simulator for large digital system logic verification. - Tohru Sasaki; Akihiko Yamada; Shunichi Kato; Terufumi Nakazawa; Kyoji Tomita; Nobuyoshi Nomizu (DAC, 1980)

HAL: A block level HArdware Logic simulator. - Tohru Sasaki; Nobuhiko Koike; Kenji Ohmori; Kyoji Tomita (DAC, 1983)