基于符号模拟的电路中错误诊断方法研究

摘要：

错误诊断是在逻辑芯片中预测潜在错误点的过程.为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准对各个区域候选者进行可疑度的等级排序,从而对电路中所含错误进行判断.可疑度越高的区域,其作为错误候选者的可能性越大.该方法利用符号模拟技术,不需要对向量空间进行穷尽的列举,因而在空间和时间上是有效的.

关键词：区域模型、符号模拟、错误诊断、测量标准

所属期刊栏目：32

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

资助基金：国家自然科学基金资助项目60373113;国家973计划资助项目2004CB318000

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

页数：共4页

页码：1-3,7