Error Correction Based on Verification Techniques

@inproceedings{Huang1996ErrorCB,
  title={Error Correction Based on Verification Techniques},
  author={Shi-Yu Huang and Kuang-Chien Chen and Kwang-Ting Cheng},
  booktitle={DAC},
  year={1996}
}
In this paper, we address the problem of correcting a combinational circuit that is an incorrect implementation of a given specification. Most existing error-correction approaches can only handle circuits with certain types of errors. Here, we propose a general approach that can correct a circuit with multiple errors without assuming any error model. We identify internal equivalent pairs to narrow down the possible error locations using local BDD’s with dynamic support. We also employ a… CONTINUE READING

Citations

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

Similar Papers

Loading similar papers…