Saturn: An Automatic Test Generation System for Digital Circuits

Narinder Singh. Saturn: An Automatic Test Generation System for Digital Circuits. In AAAI. pages 778-783, 1986.