Incremental logic rectification

  title={Incremental logic rectification},
  author={Shi-Yu Huang and Kuang-Chien Chen and Kwang-Ting Cheng},
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process, as a sequence of partial corrections. Each partial correctiion reduces the size of the input vector set producing error responses. Compared with existing approaches, this approach is more general, and able to handle circuits with multiple errors. We also formulate the necessary and sufficient condition of general… CONTINUE READING
10 Citations
2 References
Similar Papers


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


Publications referenced by this paper.
Showing 1-2 of 2 references

Multi - level logic optimization by redundancy addition and removal

  • A. Drumm D. Brand, S. Kundu, P. Narrain, Cheng, A. Entrena L
  • 1993

Similar Papers

Loading similar papers…