An Automatic Test-Generation System for Large Digital Circuits | IEEE Journals & Magazine | IEEE Xplore