Implicit prime compatible generation for minimizing incompletely specified finite state machines. - Hiroyuki Higuchi; Yusuke Matsunaga (ASP-DAC, 1995)

A Fast State Reduction Algorithm for Incompletely Specified Finite State Machines. - Hiroyuki Higuchi; Yusuke Matsunaga (DAC, 1996)

Lazy group sifting for efficient symbolic state traversal of FSMs. - Hiroyuki Higuchi; Fabio Somenzi (ICCAD, 1999)

An implication-based method to detect multi-cycle paths in large sequential circuits. - Hiroyuki Higuchi (DAC, 2002)

Multi-Cycle Path Detection for Sequential Circuits and Its Application to Real Designs. - Hiroyuki Higuchi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

Enhancing the performance of multi-cycle path analysis in an industrial setting. - Hiroyuki Higuchi; Yusuke Matsunaga (ASP-DAC, 2004)

An accurate modeling method utilizing application-specific statistical information and its application to SRAM yield estimation. - Hidetoshi Matsuoka; Hiroshi Ikeda; Hiroyuki Higuchi; Yoshinori Tomita (ISQED, 2010)

An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. - Hidenao Iwane; Hiroyuki Higuchi; Hirokazu Anai (CASC, 2013)

Population Synthesis via k-Nearest Neighbor Crossover Kernel. - Naoki Hamada; Katsumi Homma; Hiroyuki Higuchi; Hideyuki Kikuchi (ICDM, 2015)

Simultaneous Optimization of Statistical Model and Control Input Plan. - Yoshinobu Iimura; Masashi Wakaiki; Katsumi Homma; Yuhei Umeda; Junji Kaneko; Hiroyuki Higuchi; Kazumi Kubota; Naoya Asami; Kazuto Ikeda (ACC, 2018)