A logic verifier based on Boolean comparison. - Gotaro Odawara; Masahiro Tomita; Osamu Okuzawa; Tomomichi Ohta; Zhen-quan Zhuang (DAC, 1986)

A Human Machine Interface for Silicon Compilation. - Gotaro Odawara; Masahiro Tomita; Kazuhiko Hattori; Osamu Okuzawa; Toshiaki Hirata; Masayasu Ochiai (DAC, 1988)