Random Generation of Test Instances for Logic Optimizers

Kazuo Iwama, Kensuke Hino. Random Generation of Test Instances for Logic Optimizers. In DAC. pages 430-434, 1994. [doi]

Abstract

Abstract is missing.