数字系统测试技术.ppt
《数字系统测试技术.ppt》由会员分享,可在线阅读,更多相关《数字系统测试技术.ppt(162页珍藏版)》请在三一办公上搜索。
1、,第11章 数字系统测试技术,11.1 数字系统测试的基本原理11.2 逻辑分析仪11.3 可测性设计11.4 数据域测试的应用,11.1数字系统测试的基本原理,11.1.1 数字系统测试和数据域分析的基本概念 1 数字系统测试和数据域测试的特点 2 几个术语 3 故障模型,1 数字系统测试和数据域测试的特点,电子测试的重要领域-数据域测试数据域测试的概念,数字系统测试中的困难 响应和激励间不是线性关系 从外部有限测试点和结果推断内部过程或状态 微机化数字系统的软件导致异常输出 系统内部事件一般不会立即在输出端表现 故障不易捕获和辨认,11.1数字系统测试的基本原理,11.1.1 数字系统测试
2、和数据域分析的基本概念 1 数字系统测试和数据域测试的特点 2 几个术语 3 故障模型,2 几个术语,故障侦查/检测(Fault Detection)-判断被 测电路中是否存在故障,故障定位-查明故障原因、性质和产生的位置,以上合称故障诊断,简称诊断,缺陷-构造特性的改变失效-导致电路错误动作的缺陷 故障-缺陷引起的电路异常,缺陷的逻辑表现 缺陷和故障非一一对应,有时一个缺陷可等效 于多个故障,2 几个术语,出错/错误(Error),真速测试(AT-Speed Testing),参数测试和逻辑测试,测试主输入(Primary Input),测试主输出(Primary Output),测试图形/
3、样式(Test Pattern)测试矢量(Test Vectors,测试生成,故障覆盖率,11.1数字系统测试的基本原理,11.1.1 数字系统测试和数据域分析的基本概念 1 数字系统测试和数据域测试的特点 2 几个术语 3 故障模型,3 故障模型,故障的模型化与模型化故障,(1)固定型故障(Stuck Faults),固定1故障(stuck-at-1),s-a-1 固定0故障(stuck-at-0),s-a-0,(2)桥接故障(Bridge Faults),桥接故障:两根或多根信号线间的短接,3 故障模型,(2)桥接故障(Bridge Faults),(3)延迟故障(Delay Faults
4、),延迟故障:电路延迟超过允许值而引起的故障时延测试验证电路中任何通路的传输延迟不超 过系统时钟周期,3 故障模型,(4)暂态故障(Temporary Faults),类型:瞬态故障和间歇性故障,瞬态故障:电源干扰和粒子辐射等原因造成间歇性故障:元件参数变化、接插件不可靠等造成,11.1数字系统测试的基本原理,11.1.2 组合电路测试方法简介 1 敏化通路法和D算法 2 布尔差分法,1 敏化通路法和D算法,通路(Path)和敏化通路(Sensitized Path),(1)敏化通路法,a f y 01 01 01 10 10 10,故障a fg:故障传播或前向跟踪,一致性检验或反相跟踪(Ba
5、ckward Trace),电路的敏化过程,1 敏化通路法和D算法,故障传播和通路敏化的条件,通路内一切与门和与非门的其余输入端均应赋于“1”值,而一切或门和或非门的其余输入端应赋于“0”值。,有扇出电路的敏化过程,1 敏化通路法和D算法,单通路敏化成功,双通路敏化失败的例子,(111)不是x2:s-a-0的测试矢量(110)和(011)是x2:s-a-0的测试矢量,1 敏化通路法和D算法,Schneider提出的反例证明某些故障只通过一条通路不可能敏化成功,必须同时沿两条或两条以上的通路才能成功敏化,同时沿G6G9G12 和G6G10G12 敏化方可成功G6(s-a-0)的测试:(x1x2x
6、3x4)=(0000),1 敏化通路法和D算法,扇出对敏化通路的影响,三种情况:单通路和多通路都产生测试矢量 仅单通路能产生测试矢量 仅多通路能产生测试矢量,小结,Schneider反例说明一维敏化不是一种算法,对一特定故障寻找敏化通路时,还应考虑同时敏 化多个单通路的可能组合-多维敏化,对于多维敏化,必须寻球一种真正的算法-D算法,2 敏化通路法和D算法,(2)D算法,简化了多通路敏化法 容易用计算机实现,D:正常电路逻辑值为1,故障电路为0的信号,D:正常电路逻辑值为0,故障电路为1的信号,简化表,又称电路的原始立方-简化的真值表,形成:逻辑门用它的输出顶点名称表示 门输出顶点的标号大于所
7、有输入顶点的标号,2 敏化通路法和D算法,基本门电路的简化表,2 敏化通路法和D算法,基本门电路的简化表,2 敏化通路法和D算法,电路的简化表举例,2 敏化通路法和D算法,传递D立方,描述正常功能块对D矢量的传递特性 表明敏化通路的敏化条件 对被测电路的一种结构描述,把元件E输入端的若干故障信号能传播至E的输出端的最小输入条件传递D立方,构造传递D立方的Roth交运算规则,2 敏化通路法和D算法,基本门电路的传递D立方,传递D立方,2 敏化通路法和D算法,基本门电路的传递D立方,传递D立方,2)敏化通路法和D算法,故障的原始D立方,-元件E的输出处可产生故障信号D或D的最小输入条件,区别:故障
8、原始D立方实为激活故障的条件 故障传递D立方为传播故障信号的条件,2 敏化通路法和D算法,D交运算规则,D交运算是建立敏化通路的数学工具,通过D交运算,逐级将故障信号(D或D)从故障点敏化至可及输出端的过程叫做D驱赶(D drive),Roth D交操作规则,2 敏化通路法和D算法,D交运算规则,对Roth D交操作规则的补充说明,符号和分别表示D交为空和未定义,如果不出现和,但出现和,则D交未定义,如果D交中只出现而不出现,则在第二个因子中,所有的D变为D,D变为D,如果D交中只出现而不出现,则DD=D,DD=D,2 敏化通路法和D算法,D交运算规则,D激活元件-输入端有D(D)信号而输出值
9、尚未确 定的元件,活跃矢量-D激活元件编号的集合,D驱赶的过程,将D激活元件的传递D立方同测试立方作D交运算,使元件输出D或D信号,若D交存在,本次驱赶成功,得到新的测试立方。若D交结果为空,则选择另一个传递D立方进行,如果该元件的传递D立方都被选择而D交结果为空,则从活跃矢量中另选一元件进行D驱赶,2 敏化通路法和D算法,D交运算规则,D驱赶的过程,若活跃矢量中所有元件都不能实现D交,则后退到前一活跃矢量,甚至退到最初阶段另选一个故障原始D立方重新进行,重复上述过程,直至将D或D驱赶到某主输出为止,2)敏化通路法和D算法,线确认和一致性检查,一致性检查是指在一次D驱赶成功之后,检查所获得的测
10、试立方是否与各元件的简化表中的原始立方相一致,以便及早发现矛盾而及早返回,线确认是一致性检查的一种,是指在D驱赶全部结束后(在主输出端出现了D或D信号),对测试立方中仍未赋值的元素赋值的过程,2)敏化通路法和D算法,D算法求解组合电路的测试矢量的步骤,第一步,初始化。包括:写出被测电路的简化表;由简化表得到传递D立方第二步,D驱赶。用Roth D交运算完成多路敏化第三步,进行一致性检查第四步,形成确定的测试矢量第五步,对故障集形成完备测试集 最后,建立故障字典,2 布尔差分法,用数学方法来研究故障的传播优点:普遍性、完备性、严格、简洁、明晰可以用于多输出电路及多故障的测试,对布尔函数f(x)=
11、f(x1,x2,xn),定义,2 布尔差分法,对一逻辑函数f(X),xiX,X=(x1,x2,xn),用符号fi()表示xi=(0,1)时f(X)的值,则,有一个组合逻辑系统:f(x)=f(x1,x2,xi,xn),如果布尔表达式,成立,则表明系统内部任何一个节点xi(或主输入)上信号的逻辑值的变化能使输出端y的逻辑值作相应的变化,从而可根据y的变化来测试出xi的变化,以达到对xi故障测试的目的,2 布尔差分法,定义,为函数f相对于变量xi的一阶布尔差分,的含义:xi从xi变成xi时,f(xi)与f(xi)之间的差异量,2 布尔差分法,侦查故障xi=s-a-1和故障xi:s-a-0的测试矢量集
12、 分别用T1和T0表示)为,2 布尔差分法,如果h是逻辑变量X的函数,而f又是变量h和X的函数,则测试故障h:s-a-1和h:s-a-0的测试矢量集分别为,2 布尔差分法,举例:求侦查下图中故障x1:s-a-1,x1:s-a-0,h:s-a-1的测试矢量集,解:写出f的逻辑表达式,2 布尔差分法,求f相对变量x1的一阶布尔差分,侦查故障x1:s-a-1和x1:s-a-0的测试矢量集分别为,2 布尔差分法,T1=(0100,0101,0110,0111)T0=(1100,1101,1110,1111),求f相对于变量h的布尔差分,因为fh(1)=x1x2,fh(0)=1,所以,检测故障h:s-a
13、-1的测试矢量为,h:s-a-1的测试集为T1=(0000,1000),11.1数字系统测试的基本原理,11.1.3 时序电路测试方法简介 1 迭接阵列 2 测试序列的产生,11.1.3 时序电路测试方法简介,引言,时序逻辑电路的测试比组合电路困难,时序电路中存在反馈,对电路的模拟、故障的侦查和定位带来困难,时序电路中,t时刻的输出响应,既取决于t时刻的输入,又取决于在此以前的输入,甚至可能与从初始状态一直到时刻t的所有输入都有关系,时序电路的存贮作用往往使电路中一个单故障相当于组合电路中的多故障,测试时序电路中一个故障不再是单个简单的测试矢量,而需要一定长度的输入矢量序列,11.1.3 时序
14、电路测试方法简介,引言,时序时序电路的测试生成需特别考虑,既要处理逻辑相关性又要处理时序相关性,需要特别处理诸如时钟线、反馈线、状态变量线等连线,需要建立全电路正确的时序关系,采用可测试设计和内建自测试技术可显著提高时序 电路测试效率,1 迭接阵列,用于建立时序电路的组合化模型原理:将时序电路各时段上的函数关系 空间上的函数关系 组合电路的D算法等生成测试矢量,时序电路的一般模型,1 迭接阵列,阵列单元模型,形成:把反馈线断开,把某时刻的电路展开成一个阵列单元。阵列单元的输入是主输入X(j)和现态y(j),输出是主输出Z(j)和次态y(j+1),把1,2,k各时刻的阵列单元串接起来,就组成一个
15、迭接阵列模型。,缺点:对大型时序电路,计算量太大,11.1数字系统测试的基本原理,11.1.3 时序电路测试方法简介 1 迭接阵列 2 测试序列的产生,2 测试序列的产生,功能测试和功能核实法测试同步时序电路,功能核实法测试同步时序电路的过程,利用同步序列或引导序列,将可能处于任何状态的时序机同步或引导到一个固定或已知的状态,利用核实序列(例如区分序列)核实状态转换功能。根据被测电路的输出来识别其初态、末态以及中间经过的诸状态,从而侦查出故障,既约同步时序电路:电路中任何两个状态均不等价,强联接时序电路:对时序机的任意两个状态,都存在一个输入序列使其从一个状态转换到另一个状态,2 测试序列的产
16、生,(1)同步序列,-将时序电路从任意状态转换到同一个已知末态的序列,用同步树求同步序列的步骤,以系统的状态集合为树根,根据不同输入激励向下分支,得到响应状态的集合,并作如下处理:,相同的状态合并成一项,若新的状态集合与以前出现过的状态集合相同,则 停止向下分支,并对该状态集标记“”,若新的状态集仅含有一个元素,则停止操作,并对该状态标记“。”,其它情况则继续向下分支,2 测试序列的产生,求同步序列举例,树根开始到标记“。”的输入序列为同步序列Hs,一个时序电路,可能不存在同步序列,也可能存在多个同步序列,2 测试序列的产生,(2)引导序列,-将时序电路从一个未知状态“引导”到某些已知末态(可
17、根据不同的响应序列来判定末态)的输入序列,用引导树求引导序列的步骤,从状态转换图(表)出发,将所有状态作为树根,次态集和响应输出记录在相应的树枝下,按响应,将次态集分割成次态子集,输出相同的 次态在同一个子集中,标出各子集的输出值,若每个次态子集中的元素均相同,则停止向下分支,标记为“*”,(若每个次态子集中仅包含一个元素,则停止向下分支,并标记为“。”),其它情况,即至少有一个子集中含有不同的元素,且该子集的集合以前没有出现过,则继续向下分支,2 测试序列的产生,求引导序列举例,2 测试序列的产生,引导树,引导序列:01,11,101,2 测试序列的产生,(3)区分序列,-能够根据不同的响应
18、序列来区分被测电路的初态和末态的输入序列,求区分序列的过程和求引导序列基本相同一种特殊的引导序列,2 测试序列的产生,区分序列的求法,区分序列:11,101,11.1数字系统测试的基本原理,11.1.4 随机测试和穷举测试简介 1 随机测试技术 2 穷举测试技术,1 随机测试技术,(1)原理概述,确定为达到给定的故障覆盖所要求的测试长度对所给定的测试长度,估计出能得到的故障覆盖,随机测试技术-一种非确定性的故障诊断技术,它是以随机的输入矢量作为激励,把实测的响应输出信号与由逻辑仿真的方法计算得到的正常电路输出相比较,以确定被测电路是否有故障。,伪随机测试-借助伪随机序列进行随机测试的方法,关键
19、问题,1 随机测试技术,(1)原理概述,随机测试和伪随机测试的优缺点,优点:测试生成简单,缺点:一般难以保证100%的故障覆盖率,测试序列通常较长,测试的时间开销较大,1 随机测试技术,(2)伪随机序列发生器,常见的伪随机序列-m序列,产生m序列的两种电路-线性反馈移位寄存器和细 胞自动机,线性反馈移位寄存器(LFSR),hi=1,表示接通反馈线;hi=0,表示断开反馈线,1 随机测试技术,线性反馈移位寄存器(LFSR),反馈系数hi在二元域上定义的多项式,h(x)=xn+h1xn1+hn-1x+1,称为该线性反馈移位寄存器的特征多项式,既约多项式,本原多项式f(x)-为一既约多项式,且能整除
20、多项 式,而不能整除任何幂次低于2n1的任何,多项式,以n次本原多项式为特征多项式的LFSR可产生周期为2n1的伪随机序列-m序列,1 随机测试技术,细胞自动机(Celluar Automata,简称CA),CA-若干细胞组成的阵列,CA细胞的结构-存储元件+组合逻辑块,CA细胞结构,1 随机测试技术,细胞自动机,冯诺依曼邻(3-邻)-某细胞的邻仅为最靠近该细胞的左和右两细胞,零边界条件-CA阵列中最左边的细胞的左邻和最右边细胞的右邻状态设置为恒0,零边界条件一维CA,1 随机测试技术,细胞自动机,在3-邻下,第i个细胞的次态xi(t+1)由第i个细胞的现态xi(t)和它的左邻和右邻的现态xi
21、-1(t)、xi+1(t)共同决定,3-邻下任一细胞的次态由含它本身的3个细胞共同决定,三个细胞的现态对应从(000)至(111)共8种取值,细胞Ci在8种取值下的次态由该细胞的组合逻辑块对应的组合函数决定,将每种组合函数对应一种规则,3邻下每一细胞可有28=256种规则,1 随机测试技术,细胞自动机,规则的命名(以规则90和150为例),规则90和规则150的状态转换,规则90,规则150,1 随机测试技术,细胞自动机,规则90/150一维线性混合型CA(90/150 1-D LHCA)可产生m序列,左至右5个细胞分别使用规则150、150、150、150和90,产生周期为31的m序列,11
22、.1数字系统测试的基本原理,11.1.4 随机测试和穷举测试简介 1 随机测试技术 2 穷举测试技术,2 穷举测试技术,定义-一个组合电路全部输入值的集合,构成了该电路的一个完备测试集。对n输入的被测电路,用2n个不同的测试矢量去测试该电路的方法叫穷举测试方法,穷举测试方法的优点,对非冗余组合电路中的故障提供100%的覆盖率,测试生成简单,穷举测试方法的缺点-对多输入电路,测试时间过长,穷举测试法一般用于主输入不超过20的逻辑电路,穷举测试技术,2 穷举测试技术,伪穷举测试技术,伪穷举测试的基本原理-设法将电路分成若干子电路,再对每一个子电路进行穷举测试,使所需的测试矢量数N大幅度减少,即N2
23、n(n为电路主输入),如何对电路进行分块以尽可能减少测试矢量数目是伪穷举测试的基本问题之一,2 穷举测试技术,伪穷举测试的举例,12.1数字系统测试的基本原理,11.1.5 数据域测试系统 1 系统组成 2 数字信号激励源,1 系统组成,数据域测试系统的组成,1 系统组成,(1)数字信号源,作用和功能,为数字系统的功能测试和参数测试提供输入激励信号,产生图形宽度可编程的并行和串行数据图形,产生输出电平和数据速率可编程的任意波形,产生可由选通信号和时钟信号控制的预先规定的数据流,1 系统组成,(2)特征分析,采用特征分析技术的必要性,对各节点逐一地测试与分析使测试成本巨增,受封装的限制,从多节点
24、观察测试响应受到限制,内测试的需要,特征分析技术-从被测电路的测试响应中提取出“特征”(Signature),通过对无故障特征和实际特征的比较进行故障的侦查和定位,1 系统组成,(2)特征分析,由LFSR构成的单输入特征分析器,若hi=0 表示连线断开,若hi=1,表示连线接通,1 系统组成,(2)特征分析,特征分析技术具有很高的检错率 当测试序列足够长时,特征分析的故障侦出率不低于,,m为用作特征分析的LFSR的长度。当m=16 时,故障侦出率高达99.998%,由LFSR构成的多输入特征分析器(MISR),1 系统组成,(2)特征分析,基于特征分析的数字系统故障诊断原理,被测电路的无故障特
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数字 系统 测试 技术

链接地址:https://www.31ppt.com/p-6294907.html