CN102879731B - 一种数字集成电路的测试方法 - Google Patents
一种数字集成电路的测试方法 Download PDFInfo
- Publication number
- CN102879731B CN102879731B CN201210364697.1A CN201210364697A CN102879731B CN 102879731 B CN102879731 B CN 102879731B CN 201210364697 A CN201210364697 A CN 201210364697A CN 102879731 B CN102879731 B CN 102879731B
- Authority
- CN
- China
- Prior art keywords
- test
- path
- circuit
- influence
- cone
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000010998 test method Methods 0.000 title claims abstract description 9
- 238000012360 testing method Methods 0.000 claims abstract description 167
- 239000013598 vector Substances 0.000 claims abstract description 42
- 238000013100 final test Methods 0.000 claims abstract description 7
- 238000004088 simulation Methods 0.000 claims description 29
- 238000000034 method Methods 0.000 claims description 26
- 238000001514 detection method Methods 0.000 claims description 11
- 230000008901 benefit Effects 0.000 abstract description 3
- 239000003550 marker Substances 0.000 abstract 1
- 230000006399 behavior Effects 0.000 description 10
- 238000010586 diagram Methods 0.000 description 9
- 238000007906 compression Methods 0.000 description 6
- 230000008569 process Effects 0.000 description 6
- 230000005540 biological transmission Effects 0.000 description 3
- 230000006835 compression Effects 0.000 description 3
- 206010070834 Sensitisation Diseases 0.000 description 2
- 238000011161 development Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 239000000463 material Substances 0.000 description 2
- 230000001902 propagating effect Effects 0.000 description 2
- 238000011160 research Methods 0.000 description 2
- 230000008313 sensitization Effects 0.000 description 2
- 238000012795 verification Methods 0.000 description 2
- 238000009825 accumulation Methods 0.000 description 1
- 230000009471 action Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000012512 characterization method Methods 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 238000012217 deletion Methods 0.000 description 1
- 230000037430 deletion Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000002474 experimental method Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 239000004615 ingredient Substances 0.000 description 1
- 238000009434 installation Methods 0.000 description 1
- 238000005259 measurement Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000037361 pathway Effects 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
- 230000008054 signal transmission Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 239000009891 weiqi Substances 0.000 description 1
Classifications
-
- G—PHYSICS
- G01—MEASURING; TESTING
- G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
- G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
- G01R31/28—Testing of electronic circuits, e.g. by signal tracer
- G01R31/317—Testing of digital circuits
- G01R31/31725—Timing aspects, e.g. clock distribution, skew, propagation delay
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Tests Of Electronic Circuits (AREA)
Abstract
本发明提出一种数字集成电路的测试方法,包括:A、获取所有测试路径以组成第一测试路径集合;B、从第一测试路径集合中选择满足第一条件的所有测试路径并复制到第二测试路径集合中;C、从第二测试路径集合中选择扇出个数最多的第一测试路径,并计算影响锥和与第一测试路径相关联的测试向量;D、选择标记路径;E、判断标记路径是否满足压缩条件;F、如果满足则生成测试对,并对测试向量进行更新;G、如果不满足则重复执行步骤C至F直至第二测试路径集合为空时得到更新后的最终测试向量。根据本发明的实施例具有测试时间短、测试效率高的优点。
Description
技术领域
本发明涉及数字集成电路测试技术领域,特别涉及一种数字集成电路的测试方法。
背景技术
在数字电路测试领域,主要存在单固定型故障,跳变故障和延迟故障等故障类型。目前集成电路芯片设计趋向高集成化和低功耗方向发展,已有的研究方向多单固定型故障和跳变故障,对延迟故障的研究不多,未来,延迟故障在集成电路芯片应用中发生概率变大,针对延迟故障的测试向量精简显得越来越重要,路径延迟故障是延迟故障领域中重要的组成部分,其关心的是在单条路径传输信号的过程中,门和门间连接线造成的延迟积累,对整条路径延迟时间的影响,随着集成电路芯片规模的增大,路径延迟故障会成指数量级增加,因此测试难度较高。
Pomeranz和Reddy针对降低路径延迟故障测试时间提出了基于关键路径的选择方法,对单个门为起点选择一个或多个最多门的路径做测试向量压缩,但没有考虑到路径的可测性,对于规模较大的电路,将产生非常多的冗余测试路径。
发明内容
本发明旨在至少解决上述技术问题之一。
为此,本发明的一个目的在于提出一种测试时间短、测试效率高的数字集成电路的测试方法。
为了实现上述目的,本发明的实施例提出了一种数字集成电路的测试方法,包括以下步骤:A、从被测电路中获取所有测试路径以组成第一测试路径集合;B、从所述第一测试路径集合中选择满足第一条件的所有测试路径并复制到第二测试路径集合中;C、从所述第二测试路径集合中选择扇出个数最多的第一测试路径,并计算影响锥和与所述第一测试路径相关联的测试向量,并从所述第一和第二测试路径集合中删除所述第一测试路径;D、如果所述第一测试路径为多个,则从所述第一测试路径中选择与所述影响锥重合度最小的路径作为标记路径,否则将所述第一测试路径作为标记路径;E、判断所述标记路径是否满足压缩条件;F、如果所述标记路径满足所述压缩条件,则生成所述第一测试路径的测试对,并根据所述测试对对对应的测试向量进行更新;G、如果所述标记路径不满足所述压缩条件,则重复执行步骤C至步骤F直至所述第二测试路径集合为空时,得到更新后的最终测试向量;以及H、根据所述最终测试向量对所述被测电路进行故障模拟以检测故障路径,并在第一测试路径集合和所述第二测试路径集合中删除相应的可被故障模拟检测到的路径。
根据本发明实施例的数字集成电路的测试方法,在不损失故障覆盖率的前提下,故障模拟中没有冗余过程,不需要链表记录故障链,突破了以往路径延迟测试时大数据量对故障模拟造成的瓶颈,大大减少了程序的内存需求,通过建立STP子电路的方法,减少生成电路时间,本发明能够有效精简路径延迟测试向量的个数,降低集成电路芯片的测试时间,提高测试效率。
本发明的附加方面和优点将在下面的描述中部分给出,部分将从下面的描述中变得明显,或通过本发明的实践了解到。
附图说明
本发明的上述和/或附加的方面和优点从结合下面附图对实施例的描述中将变得明显和容易理解,其中:
图1是根据本发明一个实施例的数字集成电路的测试方法的流程图;
图2a是根据本发明一个实施例的数字集成电路的测试方法的鲁棒性电路压缩过程中门限逻辑冲突示意图;
图2b是根据本发明一个实施例的数字集成电路的测试方法的鲁棒性电路压缩过程中门限逻辑冲突示意图;以及
图3是根据本发明一个实施例的数字集成电路的测试方法的故障模拟示意图。
具体实施方式
下面详细描述本发明的实施例,所述实施例的示例在附图中示出,其中自始至终相同或类似的标号表示相同或类似的元件或具有相同或类似功能的元件。下面通过参考附图描述的实施例是示例性的,仅用于解释本发明,而不能理解为对本发明的限制。
在本发明的描述中,需要理解的是,术语“中心”、“纵向”、“横向”、“上”、“下”、“前”、“后”、“左”、“右”、“竖直”、“水平”、“顶”、“底”、“内”、“外”等指示的方位或位置关系为基于附图所示的方位或位置关系,仅是为了便于描述本发明和简化描述,而不是指示或暗示所指的装置或元件必须具有特定的方位、以特定的方位构造和操作,因此不能理解为对本发明的限制。此外,术语“第一”、“第二”仅用于描述目的,而不能理解为指示或暗示相对重要性。
在本发明的描述中,需要说明的是,除非另有明确的规定和限定,术语“安装”、“相连”、“连接”应做广义理解,例如,可以是固定连接,也可以是可拆卸连接,或一体地连接;可以是机械连接,也可以是电连接;可以是直接相连,也可以通过中间媒介间接相连,可以是两个元件内部的连通。对于本领域的普通技术人员而言,可以具体情况理解上述术语在本发明中的具体含义。
以下结合附图描述根据本发明实施例的数字集成电路的测试方法。
图1是根据本发明一个实施例的数字集成电路的测试方法的流程图。
如图1所示,根据本发明实施例的数字集成电路的测试方法,包括如下步骤:
步骤S101,从被测电路中获取所有测试路径以组成第一测试路径集合。具体地,被测电路包括第一类型电路和第二类型电路,第一类型电路例如为非鲁棒性电路,第二类型电路例如为鲁棒性电路,具体地,从鲁棒性电路或非鲁棒性电路中的获取所有可测路径集合已组成第一测试路径集合,记为S。
步骤S102,从第一测试路径集合中选择满足第一条件的所有测试路径并复制到第二测试路径集合中。在本发明的一个实施例中,第一条件为第一测试路径集合中具有扇出个数最多的或者扇出个数多的几个测试路径。具体地,依次选择具有最多扇出个数的N个路径,并把路径载入到第二测试路径集合中,第二测试路径集合记为S1,在该实例中,N可根据情况酌情设置,N越大理论上压缩率越高,N越小理论上压缩率越小,在该实例中,N个路径可能具有的扇出个数相同,N个路径也可能为从第一测试路径集合S中获取的扇出个数从多到少选取的扇出个数前几个的路径。
步骤S103,从第二测试路径集合中选择扇出个数最多的第一测试路径,记为P,并计算影响锥i和与第一测试路径相关联的测试向量,记为t,并从第一测试路径集合和第二测试路径集合中删除第一测试路径P。由上可知,第一测试路径P可能为唯一一个,也可能为扇出个数相同的多个路径。
在本发明的一个实施例中,影响锥i包括第一类型影响锥和第二类型影响锥,其中,第一类型影响锥与第一类型电路对应,第二类型影响锥与第二类型电路对应。
进一步地,第一类型影响锥对应于非鲁棒性电路中,可表示为:{A}UIN(G1),其中,G1是路径延迟故障在第二帧的输出门,A为第一帧路径延迟故障的输入端;第二类型影响锥对应于鲁棒性电路中,可表示为:IN(G)UIN(G1),其中,G是路径延迟故障在第二帧的输出门,G1是路径延迟故障在第二帧的输出门。在该示例中,针对鲁棒性电路和非鲁棒性电路而言,路径延迟故障分为鲁棒性延时故障和非鲁棒性延迟故障,鲁棒性延迟故障指能确保输入的向量对传播被激发的转移故障,即使当电路中存在别的路径延迟故障时,仍可被检测到的路径延迟故障,在第二帧电路传输路径上,若该路径上的信号逻辑值变化为控制值到非控制值,则对第二帧电路上所有非故障线上的信号均为非控制值,若该路径上的信号逻辑值变化为非控制值到控制值,则对第二帧电路上所有非故障线上的信号均为控制值,第一帧电路传播路径中非故障线逻辑值需置成X,X指的是非确定值。非鲁棒延时故障指测试保证在没有其他延时故障存在时可以检测到一个延时故障,也即两帧电路中,其他非故障线上的信号均不是控制值。
步骤S104,如果第一测试路径为多个,则从第一测试路径中选择与影响锥重合度最小的路径作为标记路径,否则将第一测试路径作为标记路径。也就是说,如果第二测试路径集合S1中有唯一的扇出个数最多的一个路径,则将该路径作为标记路径,记为P1。如果第二测试路径集合S1中存在扇出个数最多的多个路径,则从这些扇出个数最多的多个路径中选择与影响锥i最小重合的路径作为标记路径P1。
步骤S105,判断标记路径是否满足压缩条件。在本发明的一个实施例中,判断标记路径P1是否满足压缩条件的方式为但不限于:检测标记路径P1的敏化条件是否和现有的门电路逻辑值有冲突,如果存在冲突,则表明标记路径P1不满足压缩条件,即当前标记路径P1不能压缩。例如,计算标记路径P1的测试向量和影响锥;判断测试向量∩影响锥是否为空;如果为空,则判断满足压缩条件并进行压缩,否则判断不满足压缩条件。
对于鲁棒性电路而言:
基于影响锥算法计算测试向量t和t1的影响锥,t的影响锥表示为{A}UIN(G1),t1的影响锥表示为{A}UIN(G1),检测{A1}UIN(G1)∩{A2}UIN(G2)=空集,若条件成立两个延迟故障可以被压缩,否则不可以被压缩。
对于非鲁棒性电路而言:
基于影响锥算法计算测试向量t和t1的影响锥,t的影响锥表示为IN(G1)UIN(G1),t1的影响锥表示为IN(G2)UIN(G2),检测(IN(G1)UIN(G1))∩(IN(G2)UIN(G2))=空集,若条件成立两个延迟故障可以被压缩,否则不可以被压缩。
如图2a和2b所示,是根据本发明一个实施例的数字集成电路的测试方法的鲁棒性电路压缩过程中门限逻辑冲突示意图,具体地,分两种压缩冲突情况说明,如图2a,为了使路径延迟故障P2传播至输出端,A,A′,B,B′须设置逻辑值为1,0,1,0。在第一帧电路中,对A和B的敏化值与传播路径P1和P3需要的逻辑值冲突,压缩失败。如图2b,为了传播路径延迟故障P2,C和C′须设置逻辑值0,为了传播路径延迟故障P1,A和A′必须设置逻辑值1,如果满足A和A′逻辑值需求,C和C′须设置不同值,产生冲突,压缩失败。
步骤S106,如果标记路径满足压缩条件,则生成第一测试路径的测试对,并根据测试对对对应的测试向量进行更新。具体地,产生标记路径P1的测试对,记为t1,更新测试向量t为更新前测试向量t和测试对t1的并集。
步骤S107,如果标记路径不满足压缩条件,则重复执行步骤S103至步骤S106直至第二测试路径集合为空时,得到更新后的最终测试向量。换言之,重复步骤骤S103至步骤S106,直至S1中所有路径均被尝试。
步骤S108,根据最终测试向量对被测电路进行故障模拟以检测故障路径,并在第一测试路径集合和第二测试路径集合中删除相应的可被故障模拟检测到的路径。也就是说,用测试向量t对时序延迟电路做故障模拟,计算出P,这里P为t可检测到的故障路径,在第一测试路径集合S和第二测试路径集合S1中,删除可以被故障模拟检测出的相应的故障路径P。具体地,测试向量t的故障模拟过程如下:
(1)根据第一测试路径集合建立STP电路,即基于构件STP电路算法产生STP电路,STP为Selected testable path,即可测试路径集。PO指的是第一帧的输入端,PPOS指pseudo-primary outputs,primary outputs时序电路需要转换成两帧的组合电路进行测试,所以分成第一帧和第二帧。
(2)将测试向量输入STP电路中以进行三值逻辑模拟。测试向量t输入到STP电路中,做三值逻辑模拟。三值逻辑模拟指仅存在0,1,X值表示的电路。
(3)以STP电路的PO和PPOS的每个输入端为起点进行检测。也就是说,针对STP电路的PO和PPOS的每个输入端为起点做算法检测。
(4)检测第二帧电路中的PO和PPOS的其他输入端相对于检测输入端是否满足第二条件。在本发明的一个实施例中,第二条件为检测第二针电路中PO和PPOS的其他输入端相对于检测输入端而言是否为非控制值。非控制值指此端口的电路对传播其他端口的信息没有影响,即没有控制作用。
(5)如果被测电路为第二类型电路,则继续判断检测路径是否存在跳变。具体地,首先检测第一帧电路的对应PO和PPOS的其他输入端相对与检测输入端而言是否为非控制值,如果是则表示满足第二条件,接着检测路径是否存在跳变。跳变例如指电位的转换,如0-1或1-0。
(6)如果被测电路为第一类型则在判断满足第二条件时或者被测电路为第二类型是则在判断满足第二条件且存在跳变时,则依次对前驱门检测是否允许逻辑值从输出端传播到输入端,如果不允许,则判断其他传播途径是否能够传播,否则对下一个前驱门进行检测。这里所说的允许指的是:输入端的非路径值为非控制值,若不满足第二条件,传播停止在当前路径点,尝试其他传播途径,如果满足第二条件,尝试传播至下一个门。
(7)如果判断传播至PI或PPIS端,则判断出当前路径为可被故障模拟检测到的路径。具体地,若传播至PI或PPIS端,说明此条路径可以被测试向量检测到,路径删除后,应对链接PI或PPIS端口的门属性做相应改变,例如,电位置成X若PI或PPIS端口作为起始的路径均被删除,则删除相关PI或PPIS端口。
在本发明的进一步实施例中,建立STP电路的步骤包括:
(1)从可被故障模拟检测到的路径中选择一条路径加入到STP电路中,并从可被故障模拟检测到的路径中删除所选择的一条路径。即当模拟检测可检测到的故障路径P不为空集时,从P中选出一条路径,加入到STP电路中,并从P中删除所选择的一条路径。
(2)判断STP子电路中是否存在未检测路径,其中,STP子电路为在STP电路中含有共同输入端的路径。
(3)如果判断STP子电路存在未检测路径,则检测可被故障模拟检测到的路径中所有的扇出点是否均位于STP子电路中,如果所有的扇出点均没有位于STP子电路中,则增加相应的路径至所述STP子电路中,如果至少一个扇出点位于STP子电路中,则检测可被故障模拟检测到的路径和STP电路中相关路径是否有相同的扇出分支,如果不同,则检测下一条STP子电路路径。也就是说,检测是否所选的一条路径中所有的扇出点都包含在STP子电路中,如果没有扇出点包含在STP子电路中,增加上述路径至STP子电路中,如果至少有一个扇出点包括在STP子电路中,检测上述路径和STP电路中相关路径是否有相同的扇出分支,若扇出分支不同,则检测下一条STP子电路路径。
(4)如果相同,则检测可被故障模拟检测到的路径中的所有门是否和所述STP子电路中的门相同,如果相同则把可被故障模拟检测到的路径中的门的输入点作为所述STP子电路中对应门的输入分支。即检测上述路径中的所有门是否和STP子电路中的门是原电路中同一个门,若是则把上述电路中该门的输入点作为STP子电路中对应门的输入分支。
(5)如果可被故障模拟检测到的路径加入到STP子电路中,则记录第一测试路径中各门的输入点编号和扇出分支号。即如果上述路径加入到STP子电路中,记录上述路径中各门的输入点编号和扇出分支号。
(6)如果可被故障模拟检测到的路径没有加入到STP子电路中,则建立新的STP子电路。也就是说,如果上述路径,例如路径P’不可以加入到STP子电路中,则建立一条新的STP子电路,命名为P’子电路。
图3是根据本发明一个实施例的数字集成电路的测试方法的故障模拟示意图。如图3所示,针对鲁棒性时序电路故障模拟示意图,包括以下步骤:
步骤1:基于构建STP电路算法产生无扇出的STP电路,为了便于理解,示意图未列出所有STP路径。
步骤2:两帧电路的测试向量为(1,0,0,1)和(1,1,1,1,),测试向量T输入到STP电路中,做三值逻辑模拟。
步骤3:假设选取出口端口14,做回溯选择,针对在端口11,检测非路径传播端口12满足相对于检测输入端来说是非控制值,算法可以继续。
步骤5:检测下降沿跳变的端口8的非路径传播端口2,端口2逻辑值为1,符合检测条件,继续回溯,传播到端口3,端口1的值满足传播条件。
步骤6:成功传播至PI端口3,说明路径3-8-11-14可以被测试向量检测到,同样的方法,在此实例中,可以检测出路径3-7-10-13、3-9-12-14、4-9-12-14、4-7-10-13、4-8-11-14均可检测,删除以上路径,并检测PI或PPIS端口作为起始的路径是否均被删除,如是则删除相关PI或PPIS端口。
在本发明的一个实施例中,还包括以下步骤:在第一测试路径集合中依次选择出具有最多扇出的至少一个路径,并把至少一个路径复制到第二测试路径集合中,并从第一测试路径集合中删除至少一个路径。即在第一测试路径集合S中依次选择出具有最多扇出的Y个路径,并把Y个路径载入到第二测试路径S1中,从S中删除Y个路径。
【实施例】
实验平台为Dell precision 690工作站。以下通过Dell precPsPon 690工作站对本发明的路径选择效率进行试验验证,表1中给出了将本发明应用到PSCAS89电路的实验结果。选出通过每个门的最长K条路径,K分别取值1和5,第一栏Circuit表示电路名称,第三栏COM下vec表示未压缩前测试向量数目,non-robust表示非鲁棒性电路,robust表示鲁棒性电路,两栏下面分别有名称,Paths表示路径数,vec表示压缩后测试向量数目,comp表示测试向量和故障路径比,select表示路径选择时间,CPU表示测试向量产生耗费时间,可以看出,随着k的增加,路径数也不断地增加,但增加的倍数可能小于k的倍数。
PERFORMANCE OF THE PROPOSED COMPACT ATPG METHOD FOR THE ISCAS 89CIRCUITS(K=1)
表1
PERFORMANCE OF THE PROPOSED COMPACT ATPG METHOD FOR THE ISCAS89CIRCUITS (K=5)
表2
表2为采用现有方法进行实验的结果,明显地,采用本发明实时的方法可以有效的精简测试向量的个数,并有较短的测试向量产生时间。
根据本发明实施例的数字集成电路的测试方法,在不损失故障覆盖率的前提下,故障模拟中没有冗余过程,不需要链表记录故障链,突破了以往路径延迟测试时大数据量对故障模拟造成的瓶颈,大大减少了程序的内存需求,通过建立STP子电路的方法,减少生成电路时间,本发明能够有效精简路径延迟测试向量的个数,降低集成电路芯片的测试时间,提高测试效率。
在本说明书的描述中,参考术语“一个实施例”、“一些实施例”、“示例”、“具体示例”、或“一些示例”等的描述意指结合该实施例或示例描述的具体特征、结构、材料或者特点包含于本发明的至少一个实施例或示例中。在本说明书中,对上述术语的示意性表述不一定指的是相同的实施例或示例。而且,描述的具体特征、结构、材料或者特点可以在任何的一个或多个实施例或示例中以合适的方式结合。
尽管已经示出和描述了本发明的实施例,本领域的普通技术人员可以理解:在不脱离本发明的原理和宗旨的情况下可以对这些实施例进行多种变化、修改、替换和变型,本发明的范围由权利要求及其等同限定。
Claims (5)
1.一种数字集成电路的测试方法,其特征在于,包括以下步骤:
A、从被测电路中获取所有测试路径以组成第一测试路径集合;
B、从所述第一测试路径集合中选择满足第一条件的所有测试路径并复制到第二测试路径集合中;
C、从所述第二测试路径集合中选择扇出个数最多的第一测试路径,并计算影响锥和与所述第一测试路径相关联的测试向量,并从所述第一和第二测试路径集合中删除所述第一测试路径;
D、如果所述第一测试路径为多个,则从所述第一测试路径中选择与所述影响锥重合度最小的路径作为标记路径,否则将所述第一测试路径作为标记路径;
E、判断所述标记路径是否满足压缩条件;
F、如果所述标记路径满足所述压缩条件,则生成所述第一测试路径的测试对,并根据所述测试对对对应的测试向量进行更新;
G、如果所述标记路径不满足所述压缩条件,则重复执行步骤C至步骤F直至所述第二测试路径集合为空时,得到更新后的最终测试向量;以及
H、根据所述最终测试向量对所述被测电路进行故障模拟以检测故障路径,并在第一测试路径集合和所述第二测试路径集合中删除相应的可被故障模拟检测到的路径。
2.根据权利要求1所述的数字集成电路的测试方法,其特征在于,所述被测电路包括第一类型电路和第二类型电路。
3.根据权利要求2所述的测试方法,其特征在于,所述影响锥包括第一类型影响锥和第二类型影响锥,其中,所述第一类型影响锥与所述第一类型电路对应,所述第二类型影响锥与所述第二类型电路对应。
4.根据权利要求1所述的测试方法,其特征在于,还包括:
计算测试向量和影响锥;
判断测试向量∩影响锥是否为空;
如果为空,则判断满足所述压缩条件并进行压缩,否则判断不满足所述压缩条件。
5.根据权利要求1所述的测试方法,其特征在于,还包括:
在第一测试路径集合中依次选择出具有最多扇出的至少一个路径,并把所述至少一个路径复制到所述第二测试路径集合中,并从第一测试路径集合中删除所述至少一个路径。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210364697.1A CN102879731B (zh) | 2012-09-26 | 2012-09-26 | 一种数字集成电路的测试方法 |
PCT/CN2013/084277 WO2014048338A1 (en) | 2012-09-26 | 2013-09-26 | Method for testing broadside path delay fault of digital combination integrated circuit |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201210364697.1A CN102879731B (zh) | 2012-09-26 | 2012-09-26 | 一种数字集成电路的测试方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102879731A CN102879731A (zh) | 2013-01-16 |
CN102879731B true CN102879731B (zh) | 2015-10-28 |
Family
ID=47481127
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201210364697.1A Active CN102879731B (zh) | 2012-09-26 | 2012-09-26 | 一种数字集成电路的测试方法 |
Country Status (2)
Country | Link |
---|---|
CN (1) | CN102879731B (zh) |
WO (1) | WO2014048338A1 (zh) |
Families Citing this family (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102879731B (zh) * | 2012-09-26 | 2015-10-28 | 清华大学 | 一种数字集成电路的测试方法 |
CN105954666B (zh) * | 2016-04-19 | 2019-01-04 | 上海华虹宏力半导体制造有限公司 | 动态数据的快速写入方法 |
CN106291324B (zh) * | 2016-08-18 | 2018-10-02 | 北京航空航天大学 | 一种片上差分时延测量系统及回收集成电路识别方法 |
CN107957698B (zh) * | 2017-12-01 | 2024-07-09 | 华侨大学 | 一种控制模块外围电路的辨识电路及方法 |
CN108776626A (zh) * | 2018-06-06 | 2018-11-09 | 中国电子科技集团公司第四十研究所 | 一种数字信号存储及解码方法及其系统 |
CN109522679B (zh) * | 2018-12-28 | 2023-06-02 | 中国人民解放军国防科技大学 | 基于分类处理的功能激励向量生成方法及系统 |
CN110221196B (zh) * | 2019-06-25 | 2020-06-16 | 清华大学 | 单固定型故障基于可测试性影响锥的测试精简方法及系统 |
EP3789780B1 (en) * | 2019-09-03 | 2024-03-27 | Siemens Electronic Design Automation GmbH | Method to perform hardware safety analysis based on a structural analysis and cones of influence |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0268506A1 (fr) * | 1986-10-10 | 1988-05-25 | Thomson-Csf | Dispositif et procédé de génération de vecteurs de test et procédé de test pour circuit intégré |
CN1928578A (zh) * | 2006-07-05 | 2007-03-14 | 威盛电子股份有限公司 | 测试电路及其测试方法 |
CN101144847A (zh) * | 2006-09-14 | 2008-03-19 | 国际商业机器公司 | 集成电路和指定集成电路的方法 |
CN102305912A (zh) * | 2011-07-29 | 2012-01-04 | 清华大学 | 数据可压缩的低功耗集成电路测试装置及其方法 |
US8170828B2 (en) * | 2009-06-05 | 2012-05-01 | Apple Inc. | Test method using memory programmed with tests and protocol to communicate between device under test and tester |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6065145A (en) * | 1998-04-13 | 2000-05-16 | Lucent Technologies, Inc. | Method for testing path delay faults in sequential logic circuits |
CN100582804C (zh) * | 2008-01-23 | 2010-01-20 | 清华大学 | 路径延迟故障测试向量压缩方法及装置 |
CN101261308B (zh) * | 2008-02-01 | 2010-06-09 | 清华大学 | 一种路径延迟故障模拟方法及装置 |
CN102879731B (zh) * | 2012-09-26 | 2015-10-28 | 清华大学 | 一种数字集成电路的测试方法 |
-
2012
- 2012-09-26 CN CN201210364697.1A patent/CN102879731B/zh active Active
-
2013
- 2013-09-26 WO PCT/CN2013/084277 patent/WO2014048338A1/en active Application Filing
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0268506A1 (fr) * | 1986-10-10 | 1988-05-25 | Thomson-Csf | Dispositif et procédé de génération de vecteurs de test et procédé de test pour circuit intégré |
CN1928578A (zh) * | 2006-07-05 | 2007-03-14 | 威盛电子股份有限公司 | 测试电路及其测试方法 |
CN101144847A (zh) * | 2006-09-14 | 2008-03-19 | 国际商业机器公司 | 集成电路和指定集成电路的方法 |
US8170828B2 (en) * | 2009-06-05 | 2012-05-01 | Apple Inc. | Test method using memory programmed with tests and protocol to communicate between device under test and tester |
CN102305912A (zh) * | 2011-07-29 | 2012-01-04 | 清华大学 | 数据可压缩的低功耗集成电路测试装置及其方法 |
Also Published As
Publication number | Publication date |
---|---|
CN102879731A (zh) | 2013-01-16 |
WO2014048338A1 (en) | 2014-04-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102879731B (zh) | 一种数字集成电路的测试方法 | |
US7178078B2 (en) | Testing apparatus and testing method for an integrated circuit, and integrated circuit | |
JP3851782B2 (ja) | 半導体集積回路及びそのテスト方法 | |
KR100517537B1 (ko) | 반도체 집적회로의 설계방법 | |
CN101539958B (zh) | 一种标准单元库和集成电路的设计方法和装置 | |
EP1916534B1 (en) | Verification and generation of timing exceptions | |
US20090271750A1 (en) | Timing constraint merging in hierarchical soc designs | |
CN108694323B (zh) | 用于检测故障点的设备和方法 | |
US11047911B2 (en) | Asynchronous circuits and test methods | |
JP3018996B2 (ja) | 故障個所特定化方法 | |
CN112069763A (zh) | 修正电路的方法 | |
CN105279345A (zh) | 一种航天器用数字软ip核评测方法 | |
CN101216532A (zh) | 一种时序电路中降低扫描功耗的方法 | |
CN115455879A (zh) | 时序路径筛查方法及设备 | |
CN114880975A (zh) | 一种硬件木马的生成方法、系统、设备以及介质 | |
US20060080576A1 (en) | Test point insertion method | |
Kokrady et al. | Fast, layout-aware validation of test-vectors for nanometer-related timing failures | |
US8943457B2 (en) | Simulating scan tests with reduced resources | |
US20020199161A1 (en) | Method of designing logic circuit, and computer product | |
US6546514B1 (en) | Integrated circuit analysis and design involving defective circuit element replacement on a netlist | |
Huang | On speeding up extended finite state machines using catalyst circuitry | |
US7484150B2 (en) | Semiconductor integrated circuit design apparatus and semiconductor integrated circuit design method | |
JP2002259488A (ja) | クロックスキュー検証方法 | |
JP3080037B2 (ja) | 論理シミュレーション用モデルの作成方法 | |
Natarajan et al. | Switch-level delay test |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant |