Logic Optimization Algorithm by Linear Programming Approach. - Naohiro Kageyama; Chihei Miura; Tsuguo Shimizu (DAC, 1990)

An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition. - Keisuke Bekki; Tohru Nagai; Nobuhiro Hamada; Tsuguo Shimizu; Noriharu Hiratsuka; Kazumasa Shima (ICCAD, 1991)

A structure and technique for pseudorandom-based testing of sequential circuits. - Fidel Muradali; Takao Nishida; Tsuguo Shimizu (J. Electron. Test., 1995)