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