Incremental logic rectification
Monterey, CA（1997）
摘要
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 correction 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 single-gate correction to achieve better results for some circuits with a single error. To handle larger circuits, we develop a hybrid approach that makes use of the information of structural correspondence between specification and implementation. Experimental results on industrial examples as well as ISCAS85 benchmark circuits are presented to show the effectiveness of our approach
更多查看译文
关键词
circuits with multiple errors,incorrect combinational circuit,iscas85 benchmark circuit,iscas85 benchmark circuits,general single-gate correction,logic cad,combinational circuits,partial correction,structural correspondence,hybrid approach,sequence of partial corrections,better result,vlsi design,symbolic bdd techniques,error response,specification,incremental logic rectification,implementation,fault diagnosis,vlsi,automatic testing,error region pruning,boolean functions,multiple error,error correction,single error,logic testing,combinational circuit
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要