期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
Current Mode Logic Testing of XOR/XNOR Circuit: A Case Study
1
作者 Mona M. Fouad Hassanein H. Amer +1 位作者 Ahmed H. Madian Mohamed B. Abdelhalim 《Circuits and Systems》 2013年第4期364-368,共5页
This paper investigates the issue of testing Current Mode Logic (CML) gates. A three-bit parity checker is used as a case study. It is first shown that, as expected, the stuck-at fault model is not appropriate for tes... This paper investigates the issue of testing Current Mode Logic (CML) gates. A three-bit parity checker is used as a case study. It is first shown that, as expected, the stuck-at fault model is not appropriate for testing CML gates. It is then proved that switching the order in which inputs are applied to a gate will affect the minimum test set;this is not the case in conventional voltage mode gates. Both the circuit output and its inverse have to be monitored to reduce the size of the test set. 展开更多
关键词 CURRENT Mode LOGIC (CML) CMOS Testing stuck-at faults
下载PDF
逻辑表达式图的实现及其在集成电路故障可测性中的应用
2
作者 陈世平 陈光(礻禹) 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2006年第2期151-154,共4页
数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在... 数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams,BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。 展开更多
关键词 逻辑表达式图 二元判决图 呆滞型故障 测试
下载PDF
通用Toffoli可逆门的固定故障测试
3
作者 刘云辉 谭涵月 吕娜娜 《电子质量》 2011年第12期57-61,共5页
可逆电路技术在低功耗芯片和量子通信中广泛使用。目前,大部分学者着重研究可逆电路的合成,对电路的故障测试却很少问津,但是可逆电路的测试在应用中却十分重要。文中构造了一种四输入通用Toffoli门(universal toffoli gate,UTG)用来检... 可逆电路技术在低功耗芯片和量子通信中广泛使用。目前,大部分学者着重研究可逆电路的合成,对电路的故障测试却很少问津,但是可逆电路的测试在应用中却十分重要。文中构造了一种四输入通用Toffoli门(universal toffoli gate,UTG)用来检测电路故障,这个门可以实现所有基本的布尔逻辑。UTG门可以检测到所有的单一固定故障并且能够获得一个最小测试向量集。使用该文提出的UTG门可实现所有复杂的可逆电路并且能够测试所有单一固定故障。实验结果表明,与其他测试方法相比,使用UTG门的量子消耗和测试向量都是之和是最小的。 展开更多
关键词 Toffoli门 固定故障测试 可逆电路
下载PDF
一种新的LSI/VLSI电路测试方法
4
作者 高建华 《中国纺织大学学报》 CSCD 1995年第1期116-123,共8页
本文提出一种根据输出端值的变化频度测试LSI/VLSI电路I/O线上的固定故障的方法。该方法的优点是不需待测电路功能函数,也不需标准电路作比较。文章同时讨论用软件和硬件的实现方法。
关键词 LSI VLSI 集成电路 测试
下载PDF
考虑逻辑门延时的冗余固定故障检测方法 被引量:1
5
作者 蔡烁 文翔 +1 位作者 童伟 欧阳翅 《计算机工程与应用》 CSCD 2012年第17期68-71,共4页
提出利用瞬态电流测试(IDDT Testing)方法检测数字电路中的冗余固定故障。检测时采用双向量模式,充分考虑逻辑门的延时特性。针对两类不同的冗余固定故障,分别给出了激活故障的算法,在此基础上再对故障效应进行传播。SPICE模拟实验结果... 提出利用瞬态电流测试(IDDT Testing)方法检测数字电路中的冗余固定故障。检测时采用双向量模式,充分考虑逻辑门的延时特性。针对两类不同的冗余固定故障,分别给出了激活故障的算法,在此基础上再对故障效应进行传播。SPICE模拟实验结果表明,该方法能有效地区分正常电路与存在冗余故障的电路,可以作为电压测试方法的一种有益的补充。 展开更多
关键词 冗余固定故障 瞬态电流 时延 跳变
下载PDF
基于正极性或-符合展开的易测性网络
6
作者 潘张鑫 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2008年第1期40-43,47,共5页
为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集.该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构.为提高可测性,同... 为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集.该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构.为提高可测性,同或串的实现结构只需增加1个控制端及1个观察端,同或树的实现结构只需增加3个控制端及1个观察端.对于1个n变量的逻辑函数,两种实现结构下通用测试集的基数分别为(n+4)和(n+5).这样短的通用测试集非常适合用内建自测试实现,从而有效地缩短测试时间. 展开更多
关键词 通用测试集 可测性设计 或-符合展开 单固定故障
下载PDF
基于失败向量信息的难测固定故障测试向量生成
7
作者 黄斌科 邓亮 +1 位作者 赵秀才 侯明星 《微电子学与计算机》 CSCD 北大核心 2017年第4期140-145,共6页
针对数字电路中难测固定故障测试向量生成效率低的问题,基于失败向量信息实现难测固定故障的测试向量生成.该方法利用难测固定故障失败向量与成功向量在端口逻辑值上可能具有的相反属性,以输入端口逻辑值的概率信息量化失败向量的特征,... 针对数字电路中难测固定故障测试向量生成效率低的问题,基于失败向量信息实现难测固定故障的测试向量生成.该方法利用难测固定故障失败向量与成功向量在端口逻辑值上可能具有的相反属性,以输入端口逻辑值的概率信息量化失败向量的特征,从而提高难测固定故障成功测试向量生成的生成概率,缩小测试向量的搜索范围,提高了测试向量生成的效率. 展开更多
关键词 难测固定故障 测试向量生成 失败向量 生成概率
下载PDF
多值逻辑电路测试的敏化路径法研究
8
作者 潘中良 《仪器仪表学报》 EI CAS CSCD 北大核心 2004年第z1期60-61,共2页
多值逻辑和多值逻辑电路近年来得到了越来越多的应用,研究多值逻辑电路的测试,给出了采用敏化路径法计算给定故障测试矢量的方法,并对多故障的测试生成进行了研究。结果表明若同时对故障位置的多条路径进行敏化,则可以方便地求出故障的... 多值逻辑和多值逻辑电路近年来得到了越来越多的应用,研究多值逻辑电路的测试,给出了采用敏化路径法计算给定故障测试矢量的方法,并对多故障的测试生成进行了研究。结果表明若同时对故障位置的多条路径进行敏化,则可以方便地求出故障的测试矢量。 展开更多
关键词 多值逻辑电路 固定型故障 测试生成 路径敏化
下载PDF
用可测性设计的方法设计PLA
9
作者 朱恒静 张卓 《电子产品可靠性与环境试验》 2001年第1期10-13,共4页
全面、有效地测试PLA ,是保证PLA类产品可靠性的重要手段。在设计的同时就考虑其测试问题 ,是解决PLA测试问题行之有效的方法。介绍了怎样用可测性设计的方法解决PLA的测试问题 ,给出了几种具体的实施方案 。
关键词 可测性设计 可编程逻辑阵列 数字电路 设计
下载PDF
集成电路高层故障模型间关系分析方法
10
作者 杨修涛 鲁巍 李晓维 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期350-355,共6页
集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定... 集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定型故障模型间关系可以建立高层故障模型的评估规则,在该规则下可以再对高层故障模型间关系进行分析,以确定彼此间的覆盖关系·归纳模型间的互相覆盖以确定彼此是否包含,这有助于对高层故障模型进行评估,寻找能够对应逼近门级固定型(stuck-at)故障模型的高层故障模型序列,该模型序列有望指导新的测试生成·最后,以对ITC99中标准时序电路的实验来说明该理论方法· 展开更多
关键词 高层故障模型 固定型故障模型 统计 故障模型序列
下载PDF
片上网络互联的划分测试 被引量:4
11
作者 欧阳一鸣 齐芸 梁华国 《电子测量与仪器学报》 CSCD 2009年第11期101-107,共7页
在伪穷举测试的基础上,提出了一种片上网络互联的划分测试。将片上的资源(主要是路由器和通道)按一定的方法划分为4个区,然后采用伪穷举测试的方法分别对每个分区进行测试。实验证明,随着芯片规模的增大,本方法比伪穷举测试减少了测试... 在伪穷举测试的基础上,提出了一种片上网络互联的划分测试。将片上的资源(主要是路由器和通道)按一定的方法划分为4个区,然后采用伪穷举测试的方法分别对每个分区进行测试。实验证明,随着芯片规模的增大,本方法比伪穷举测试减少了测试时间和测试包数,降低了测试功耗,缩小了片上报错的范围。另外,本文还在划分测试的基础上提出了一种错误定位的方法,可以将出错的路由器或通道定位到出错分区的具体位置。 展开更多
关键词 片上网络 单固定故障 伪穷举测试 划分测试
下载PDF
组合电路测试生成的PODEM算法及实现 被引量:1
12
作者 颜学龙 刘棕南 《桂林电子工业学院学报》 1998年第3期1-3,共3页
详细讨论了在已知组合电路结构,对多输入器件,根据组合电路的等效性,附加虚拟器件,将电路的树形数据结构化为二叉树结构,采用PODEM算法,按最难/最易原则回溯,在计算机上实现电路中的单一恒定故障(S-a-0和S-a-1... 详细讨论了在已知组合电路结构,对多输入器件,根据组合电路的等效性,附加虚拟器件,将电路的树形数据结构化为二叉树结构,采用PODEM算法,按最难/最易原则回溯,在计算机上实现电路中的单一恒定故障(S-a-0和S-a-1)的测试矢量生成。 展开更多
关键词 恒定故障 PODEM算法 大规模集成电路 测试
下载PDF
量子元胞自动机全加器的布尔差分测试法
13
作者 张南生 蔡理 冯朝文 《微电子学》 CAS CSCD 北大核心 2010年第2期287-290,共4页
根据布尔差分测试法的基本原理以及量子元胞自动机(QCA)的缺陷特性,提出一种适用于QCA的测试方法。以QCA 1位全加器为例,采用QCA Designer软件,验证该方法的有效性与可行性,并与Tahoori等人提出的QCA电路测试法进行比较。结果表明,新设... 根据布尔差分测试法的基本原理以及量子元胞自动机(QCA)的缺陷特性,提出一种适用于QCA的测试方法。以QCA 1位全加器为例,采用QCA Designer软件,验证该方法的有效性与可行性,并与Tahoori等人提出的QCA电路测试法进行比较。结果表明,新设计的布尔差分测试法具有高故障覆盖率和易测性等优点,对未来复杂QCA电路的测试有一定的借鉴作用。 展开更多
关键词 量子元胞自动机 固定故障模型 布尔差分测试法 故障检测
下载PDF
基于量子元胞自动机容错全加器的设计
14
作者 张南生 蔡理 冯朝文 《微电子学与计算机》 CSCD 北大核心 2010年第11期74-76,81,共4页
为提高新一代纳米器件量子元胞自动机(QCA)电路的稳定性及可靠性,提出了一种容错1位全加器,然后通过QCA Designer软件来仿真分析1位容错全加器,验证了该设计的可行性及它具有较好的容错性,该设计对复杂QCA电路的容错性的研究起到借鉴作用.
关键词 量子元胞自动机 择多逻辑门 固定故障模型 容错全加器
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部