数字系统测试技术讲义.ppt
《数字系统测试技术讲义.ppt》由会员分享,可在线阅读,更多相关《数字系统测试技术讲义.ppt(50页珍藏版)》请在三一办公上搜索。
1、2 几个术语,出错/错误(Error),真速测试(AT-Speed Testing),参数测试和逻辑测试,测试主输入(Primary Input),测试主输出(Primary Output),测试图形/样式(Test Pattern)测试矢量(Test Vectors),测试生成,故障覆盖率,3 故障模型,故障的模型化与模型化故障,(1)固定型故障(Stuck Faults),固定1故障(stuck-at-1),s-a-1 固定0故障(stuck-at-0),s-a-0,(2)桥接故障(Bridge Faults),桥接故障:两根或多根信号线间的短接,3 故障模型,(2)桥接故障(Bridge
2、 Faults),(3)延迟故障(Delay Faults),延迟故障:电路延迟超过允许值而引起的故障时延测试验证电路中任何通路的传输延迟不超 过系统时钟周期,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,故
3、障a fg:故障传播或前向跟踪,一致性检验或反相跟踪(Backward Trace),电路的敏化过程,1 敏化通路法和D算法,故障传播和通路敏化的条件,通路内一切与门和与非门的其余输入端均应赋于“1”值,而一切或门和或非门的其余输入端应赋于“0”值。,有扇出电路的敏化过程,1 敏化通路法和D算法,单通路敏化成功,双通路敏化失败的例子,(111)不是x2:s-a-0的测试矢量(110)和(011)是x2:s-a-0的测试矢量,1 敏化通路法和D算法,扇出对敏化通路的影响,三种情况:单通路和多通路都产生测试矢量 仅单通路能产生测试矢量 仅多通路能产生测试矢量,小结,Schneider反例说明一维敏
4、化不是一种算法,对一特定故障寻找敏化通路时,还应考虑同时敏 化多个单通路的可能组合-多维敏化,对于多维敏化,必须寻球一种真正的算法-D算法,11.1数字系统测试的基本原理,11.1.3 时序电路测试方法简介 1 迭接阵列 2 测试序列的产生,11.1.3 时序电路测试方法简介,引言,时序逻辑电路的测试比组合电路困难,时序电路中存在反馈,对电路的模拟、故障的侦查和定位带来困难,时序电路中,t时刻的输出响应,既取决于t时刻的输入,又取决于在此以前的输入,甚至可能与从初始状态一直到时刻t的所有输入都有关系,时序电路的存贮作用往往使电路中一个单故障相当于组合电路中的多故障,测试时序电路中一个故障不再是
5、单个简单的测试矢量,而需要一定长度的输入矢量序列,11.1.3 时序电路测试方法简介,引言,时序时序电路的测试生成需特别考虑,既要处理逻辑相关性又要处理时序相关性,需要特别处理诸如时钟线、反馈线、状态变量线等连线,需要建立全电路正确的时序关系,采用可测试设计和内建自测试技术可显著提高时序 电路测试效率,1 迭接阵列,用于建立时序电路的组合化模型原理:将时序电路各时段上的函数关系 空间上的函数关系 组合电路的D算法等生成测试矢量,时序电路的一般模型,1 迭接阵列,阵列单元模型,形成:把反馈线断开,把某时刻的电路展开成一个阵列单元。阵列单元的输入是主输入X(j)和现态y(j),输出是主输出Z(j)
6、和次态y(j+1),把1,2,k各时刻的阵列单元串接起来,就组成一个迭接阵列模型。,缺点:对大型时序电路,计算量太大,2 测试序列的产生,功能测试和功能核实法测试同步时序电路,功能核实法测试同步时序电路的过程,利用同步序列或引导序列,将可能处于任何状态的时序机同步或引导到一个固定或已知的状态,利用核实序列(例如区分序列)核实状态转换功能。根据被测电路的输出来识别其初态、末态以及中间经过的诸状态,从而侦查出故障,既约同步时序电路:电路中任何两个状态均不等价,强联接时序电路:对时序机的任意两个状态,都存在一个输入序列使其从一个状态转换到另一个状态,2 测试序列的产生,(1)同步序列,-将时序电路从
7、任意状态转换到同一个已知末态的序列,用同步树求同步序列的步骤,以系统的状态集合为树根,根据不同输入激励向下分支,得到响应状态的集合,并作如下处理:,相同的状态合并成一项,若新的状态集合与以前出现过的状态集合相同,则 停止向下分支,并对该状态集标记“”,若新的状态集仅含有一个元素,则停止操作,并对该状态标记“。”,其它情况则继续向下分支,2 测试序列的产生,求同步序列举例,树根开始到标记“。”的输入序列为同步序列Hs,一个时序电路,可能不存在同步序列,也可能存在多个同步序列,2 测试序列的产生,(2)引导序列,-将时序电路从一个未知状态“引导”到某些已知末态(可根据不同的响应序列来判定末态)的输
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数字 系统 测试 技术 讲义
链接地址:https://www.31ppt.com/p-6577114.html