基于布尔可满足性的电路设计错误诊断算法

摘要：

提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛选分级,提高了多错误诊断定位的分辨率和准确性;并提出多项启发式方法,避免了大量不必要的操作,使算法在时间和内存上保持有效性.实验结果表明,利用形式验证的技术来导向模拟的过程,抓住了高复杂度的多错误定位问题的特征,提高了电路错误诊断的效率.

关键词：设计错误诊断、布尔可满足性、电子设计自动化

所属期刊栏目：18

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金90207002

在线出版日期：2006-10-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1383-1390