Diagnosis and correction of multiple logic design errors in digital circuits | IEEE Journals & Magazine | IEEE Xplore