Kensuke Hino

Random Generation of Test Instances for Logic Optimizers

Kazuo Iwama, Kensuke Hino, 1994, 31st Design Automation Conference.

Generating Random Benchmark Circuits with Restricted Fan-Ins (Special Issue on Synthesis and Verification of Hardware Design)

Kazuo Iwama, Hiroyuki Kurokawa, Sunao Sawada, 1997 .

Random benchmark circuits with controlled attributes

Kazuo Iwama, Hiroyuki Kurokawa, Sunao Sawada, 1997, Proceedings European Design and Test Conference. ED & TC 97.

Random Generation of Test Instances for Evaluating Logic Optimizers

Kazuo Iwama, Kensuke Hino, 1993 .

Random Benchmarks for Evaluating Logic Optimizers

Kazuo Iwama, Kensuke Hino, Hiroya Okano, 1995 .