Travelled to:2 × USA
Collaborated with:∅ Y.Matsunaga
Talks about:state (2) incomplet (1) algorithm (1) sequenti (1) specifi (1) circuit (1) reduct (1) method (1) machin (1) implic (1)
Person: Hiroyuki Higuchi
DBLP: Higuchi:Hiroyuki
Contributed to:
20021996Wrote 2 papers:
- DAC-2002-Higuchi #detection #multi #scalability
- An implication-based method to detect multi-cycle paths in large sequential circuits (HH), pp. 164–169.
- DAC-1996-HiguchiM #algorithm #finite #performance #reduction #state machine
- A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines (HH, YM), pp. 463–466.