论文部分内容阅读
延迟测试用于检测电信号在一条路径上传播时间过长引起的故障。路径延迟故障模型是被常用的精确模型,但它面临的问题是电路中有大量路径,全部测试是不现实的,所以本文采用的策略是选择一部分路径进行测试来判断电路是否正确。另外基于转换故障模型,电路中有可以影响电路时序行为的小延迟,要选择通过故障点的最长路径才能保证检测到小延迟故障,所以路径选择是延迟测试中很重要的一个问题。本文基于bounded delay模型选择通过每一个门的k(k1)条最长路径。bounded delay模型定义了路径结点的延迟上下界,相比于过去的单位延迟模型能更精确反映实际电路延迟分布情况。选择的路径不但要是最长的,而且要是可测的,只有可测的路径才会影响电路的时序行为。在bounded delay模型下,本文选择非强健可测路径,不可测路径通过对路径的敏化进行判断。本文通过定义u线及b-f对记录不可测信息,来避免路径选择过程中的重复敏化,这加速了路径选择的过程。通过使用bounded delay模型,一些在其它延迟模型下可测的故障变为不可测,bounded delay模型实际上提供了更多的不可测信息,有利于选择真实可测的路径。将选择出来的路径针对小延迟故障进行测试生成,但测试向量集过大,这就需要进行测试压缩。两个小延迟故障对应的两条传播路径如果敏化条件不冲突则就可以用一个测试向量检测。为了在合理的时间内进行高效压缩,压缩前本文使用结构化分析来判断两条路径冲突的可能性,这通过定义影响锥进行度量,如果两条路径的影响锥重叠得越少,它们冲突的可能性也越小,于是可以优先选择进行压缩的尝试。本文对影响锥的计算基于对可控性的度量,使得对冲突的判断更准确,另外在压缩过程中进行了故障模拟,这些措施加速了压缩过程,提高了压缩比。针对ISCAS’89和IWLS’05电路的实验结果证明了本文所提出的方法的高效性。