基于布尔可满足性的电路设计错误诊断算法pdf资料.pdfVIP

第 18 卷 第 9 期 计算机辅助设计与图形学学报 Vol 18 , No9 2006 年 9 月 JOURNAL OF COMPU TERAIDED DESIGN COMPU TER GRAPHICS Sep , 2006 　 基于布尔可满足性的电路设计错误诊断算法 吴 　洋 　　　唐璞山 ( 复旦大学微电子系专用集成电路与系统国家重点实验室　上海　201203) (wuyang @fudaneducn) 摘 要 　提出了一种组合电路设计错误诊断算法 ,该算法结合传统基于模拟的方法和可满足性问题求解技术 ,在不 依赖于故障模型的条件下实现对电路逻辑错误的诊断定位 提出了基于布尔可满足性的增量式电路诊断方法 ,通过 对可满足解依据电路结构信息筛选分级 ,提高了多错误诊断定位的分辨率和准确性 ;并提出多项启发式方法 ,避免 了大量不必要的操作 ,使算法在时间和内存