文档介绍：维普资讯
电敷誓反溉
数字系统功能测试的若干方
己一法及测试完全性的分析千
上海交通大学’【,
刘泽坚
摘要例如某根引线的开路、接地、相邻两根引线间
蕾文从数字集成电略靛品测试的实际问题的短路等等. 要想通过测试来排除如此众多故
出发, 综述功能验征测试方法的进辰。文中针障的’能性, 仍非易事。为了简化这个工作,
寸门级固定故障测试码自动生瓿方法的局, 在年代初期就出现了逻辑门级固定故障模型.
阐述了用状态图方法时时序逻辑单元进行功能即把逻辑电路的各种故障归结为各逻辑的输
哈证测试的有效生在此基础上,提出一种衡入、输出端的固定为及固定为
量功能测试完奎性的方法。最后, 落实到复杂. 从而可以用布尔代数及逻辑电
数字系统的功能验证测试问题。路分析方法, 找出某一故障所对应的测试码。
这种故障模型提出后, 直到现在仍被广泛地采
一
、引言
用。

路测试的论文”以来, 在世界范围内开展数字二、门级固定故障检测的实用性和局
限性
电路测试方法的研究工作已有年了。在这段
时期, 数字集成电路发展很快。与之相应. 新门级固定故障模型是建立在开关理论的基
的测试理论和方法也不断地产生。我们可以从础上的, 使故障检测的方法得到很快的发展。
各种不同的角度对这些测试方法进行分类. 但著名的确定性测试生成方法——算法在
从测试码产生的依据来分. 可归结为“面向功年由提出这是第一个建立在严格理论
能的测试”和“面向故障的测试”这两大类。粕上的组合电路测试生成算法, 实现了测试
面向功能的测试, 或称功能验证测试. 是直接生成的自动化。以后发展算法和
以验证电路逻辑功能为出发点来设计测试码的。算法,使测试生成的速度不断提高。这
穷举测试就是其中的一种方法,具有直接的可种故障检测方法的另一优点是有一个定量的标
信度。可惜随着电路输入端数目的增大,
向量的数目是按指数规律增大的, 即使在组台就是众所周知的故障复盖率。至于级固定故障
, 换
数目可达为电路输入端数目所以当言之. 它们之间的等效关系如何,仍有待于深
≥时, 这种方法已失去实用价值。面向故入研究。有资料表明,在等双根型电路中,
障的测试简称故障检测. 正是针对穷举测试的这种等效性较好。但并不是说. 门级的单固
问题而提出来的。如果能确认电路各处都不存定故障已可概括电路的全部物理故障。这表明.
在故障, 就证明了电路功能正常, 然而在集成用级单固定故障的检测方法, 即使故障复盖
电路的工艺流程中带来的物理故障形形色色, 率已达. 仍不能保证不发生漏捡现象。
】
维普资讯
所以门级单固定故障的检测方法用于双极型电——一—
路所得的结果, 其叮信度不如穷举测试方法. 一
但仍不失为一种成熟的方法。至于把这种故障
广二一≤
检测方法用于电路. 则”信度耍低得
多也有资料表明。这种方法』能查出~ . 一一
工艺过程中物理故障的一。这是门· 锁
级固定故障检测方法存在的第一个伺题. 是由