Osamu Okuzawa

Publication Activity (10 Years)

Years Active: 1986-1988
Publications (10 Years): 0

Publications

Gotaro Odawara, Masahiro Tomita, Kazuhiko Hattori, Osamu Okuzawa, Toshiaki Hirata, Masayasu Ochiai
A Human Machine Interface for Silicon Compilation. DAC (1988)
Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa, Tomomichi Ohta, Zhen-quan Zhuang
A logic verifier based on Boolean comparison. DAC (1986)