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