| 2008 |
|---|
| 4 | EE | Yuki Watanabe,
Naofumi Homma,
Takafumi Aoki,
Tatsuo Higuchi:
Arithmetic module generator with algorithm optimization capability.
ISCAS 2008: 1796-1799 |
| 3 | EE | Yuki Watanabe,
Naofumi Homma,
Katsuhiko Degawa,
Takafumi Aoki,
Tatsuo Higuchi:
High-Level Design of Multiple-Valued Arithmetic Circuits Based on Arithmetic Description Language.
ISMVL 2008: 112-117 |
| 2007 |
|---|
| 2 | EE | Yuki Watanabe,
Naofumi Homma,
Takafumi Aoki,
Tatsuo Higuchi:
Application of symbolic computer algebra to arithmetic circuit verification.
ICCD 2007: 25-32 |
| 2006 |
|---|
| 1 | EE | Naofumi Homma,
Yuki Watanabe,
Takafumi Aoki,
Tatsuo Higuchi:
Formal Design of Arithmetic Circuits Based on Arithmetic Description Language.
IEICE Transactions 89-A(12): 3500-3509 (2006) |
