Diagnosis and Correction of Logic Design Errors in Digital Circuits

  title={Diagnosis and Correction of Logic Design Errors in Digital Circuits},
  author={Pi-Yu Chung and Yi-Min Wang and Ibrahim N. Hajj},
  journal={30th ACM/IEEE Design Automation Conference},
This paper describes a method for the diagnosis and correction of logic design errors in an erroneous gate-level implementation. Our method is robust and covers more types of design errors than previous work. Our major contribution is providing significant improvement in efficiency, which is most crucial for practical applications. The notion of immediate dominator set is introduced for efficient error diagnosis. Implicit enumeration of the function space is developed for achieving fast error… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 42 extracted citations

Similar Papers

Loading similar papers…