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

0 引 言 　　错误诊断是集成电路验证后期一个非常重要的阶段，它帮助设计者在一个错误芯片中预测错误点，因此可以减轻整个调试过程中的工作量。经过许多年的研究工作，组合电路的错误诊断正趋于成熟和实用化。这些方法主要分为两类：基于模拟的方法和符号方法。基于模拟的方法在每个错误向量对电路的模拟中，通过过滤掉非错误点而使含有错误点的区域逐渐被限定下来。符号方法不用明确列举错误向量，而是主要依赖于二叉决策图BDD，并提出错误源定位的充分必要条件。依据此充分必要条件，可直接定位错误点。该方法由于使用BDD技