Diagnosis and Correction of Logic Design Errors in Digital Circuits.

Pi-Yu Chung, Yi-Min Wang, Ibrahim N. Hajj

Browse the full DAC paper archive.