An Automatic Test Generation System for Large Scale Gate Arrays. - Takashi Aikyo; Y. Hatano; J. Ishii; N. Karasawa; S. Fujii (COMPCON, 1986)