| |
| 1988 | ||
|---|---|---|
| 2 | EE | Gotaro Odawara, Masahiro Tomita, Kazuhiko Hattori, Osamu Okuzawa, Toshiaki Hirata, Masayasu Ochiai: A Human Machine Interface for Silicon Compilation. DAC 1988: 115-120 |
| 1986 | ||
| 1 | EE | Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa, Tomomichi Ohta, Zhen-quan Zhuang: A logic verifier based on Boolean comparison. DAC 1986: 208-214 |
| 1 | Kazuhiko Hattori | [2] |
| 2 | Toshiaki Hirata | [2] |
| 3 | Masayasu Ochiai | [2] |
| 4 | Gotaro Odawara | [1] [2] |
| 5 | Tomomichi Ohta | [1] |
| 6 | Masahiro Tomita | [1] [2] |
| 7 | Zhen-quan Zhuang | [1] |