 | 2004 |
|---|
| 5 |       | Hiroyuki Higuchi,
Yusuke Matsunaga:
Enhancing the performance of multi-cycle path analysis in an industrial setting.
ASP-DAC 2004: 192-197 |
| 2002 |
|---|
| 4 | | Hiroyuki Higuchi:
An implication-based method to detect multi-cycle paths in large sequential circuits.
DAC 2002: 164-169 |
| 1999 |
|---|
| 3 | | Hiroyuki Higuchi,
Fabio Somenzi:
Lazy group sifting for efficient symbolic state traversal of FSMs.
ICCAD 1999: 45-49 |
| 1996 |
|---|
| 2 | | Hiroyuki Higuchi,
Yusuke Matsunaga:
A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines.
DAC 1996: 463-466 |
| 1995 |
|---|
| 1 | | Hiroyuki Higuchi,
Yusuke Matsunaga:
Implicit prime compatible generation for minimizing incompletely specified finite state machines.
ASP-DAC 1995 |
