[发明专利]集成电路转换延迟测试向量精简方法

说明书

技术领域

本发明涉及数字集成电路测试技术领域，特别涉及集成电路测试中的转换延迟测试向量领域，具体涉及一种集成电路转换延迟测试向量精简方法。

背景技术 

在数字电路测试领域，主要有两种的故障模型：跳变故障模型和延迟故障模型。目前集成电路芯片向着高集成度和小尺寸化发展，延迟故障发生概率变大，针对延迟故障的测试算法越来越显得重要，延迟故障模型测试的特点在于产生的测试向量远远大于跳变故障模型，这对测试向量精简算法提出了较高的要求，转换延迟故障是指故障门在跳变过程中产生延迟故障，针对电路的延迟故障目前很多方法被提出，但大部分对时间开销、故障覆盖率、压缩效率三者没有达到较好的平衡，即以损失其中一种或二种指标，达到对其余指标的优化，因此，很有必要提出一种新的算法。

M.Yilmaz等人提出一个覆盖所有门的最长路径延迟故障测试生成算法，W.Qiu等人提出寻找前K长覆盖所有门的可测路径的算法，但是这些路径的方法普遍存在效率低或者准确度不高，不能有效识别最长路径。Hamzaoglu等人提出基于广播的方式主要通过将一个扫描输入同时送入多个扫描链来实现该方法利用不同触发器的逻辑值没有冲突的属性，如果两个触发器在任何一个测试向量中的值都没有冲突，那么用一个逻辑值来表示他们对测试过程是没有影响的。该方法产生测试向量的时候可以与ATPG整合在一起，相当于在ATPG的时候增加约束。

发明内容

为了克服上述现有技术的不足，本发明的目的在于提供了一种集成电路转换延迟测试向量精简方法，其能够减少测试向量的数量，同时能够实现测试向量的高效率压缩，降低集成电路芯片的测试时间，提高测试效率。

为了实现上述目的，本发明采用的技术方案是：

集成电路转换延迟测试向量精简方法，包括以下步骤：

步骤1：电路故障点预处理；

步骤1.1：从转换故障点集合中依次提取故障点标记为f，生成故障点f的影响锥，同时从转换故障点集合中删除该故障点f；

步骤1.2：若转换故障点集合非空，提取下一个故障点，重复执行步骤1.1，直至转换故障点集合为空；

步骤2：从转换故障点集合中找出与故障点f有最小重合的一个或者多个故障点，把这些故障点加入到空集合ST中；

步骤3：从集合ST中提取故障点h，判断故障点h的影响锥是否与故障点f的影响锥重合，如果未有重合，故障点h可以被压缩；如果重合，改用故障点可测试影响锥生成算法计算可测试影响锥，如果计算结果未重合，说明故障点h同样可以被压缩，对故障点h进行测试向量压缩。

其中，步骤1所述故障点f的影响锥结构分析算法生成过程如下：

执行对电路的结构分析，计算影响锥，影响锥是指电路中设置某一门为特定值，所需要确定PPIs和PIs的最小集合，所述PPIs指第一帧电路和第二帧电路输入端无关联的门，PIs指电路输入门中除去PPIs的门，计算过程如下：

步骤1.1.1：从门L为起点开始以门为单位扫描整个集成电路，RC_i(PI)＝{PI}，RC_i(PPI)＝{PPI}；i是(0，1)的集合，代表逻辑值；

步骤1.1.2：根据门L的类型和故障点类型，分别做如下计算：

若L为AND门输出，

RC₁(L)＝RC₁(A)∪RC₁(B)