期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
A New Classification of Path-Delay Fault Testability in Terms of Stuck-at Faults
1
作者 SubhashisMajumder BhargabB.Bhattacharya +1 位作者 VishwaniD.Agrawal MichaelL.Bushnell 《Journal of Computer Science & Technology》 SCIE EI CSCD 2004年第6期955-964,共10页
A new classification of path-delay fault testability in a combinational circuit is presented in terms of testability of stuck-at faults in an equivalent circuit. Earlier results describing correlation of path-delay an... A new classification of path-delay fault testability in a combinational circuit is presented in terms of testability of stuck-at faults in an equivalent circuit. Earlier results describing correlation of path-delay and stuck-at faults are either incomplete, or use a complex model of equivalent circuit based on timing parameters. It is shown here that a path-delay fault (rising or falling) is testable if and only if certain single or multiple stuck-at fault in the equivalent circuit is testable. Thus, all aspects of path-delay faults related to testability under various classification schemes can be interpreted using the stuck-at fault model alone. The results unify most of the existing concepts and provide a better understanding of path-delay faults in logic circuits. Keywords delay fault - false path - redundancy - stuck-at fault Regular PaperThis work was funded in part by Motorola India Electronics Ltd., Bangalore 560042, India.An earlier version of this paper appeared in the Proceedings of the 12th Int. Coaf. VLSI Design, Jan. 1999.Subhashis Majumder is a professor and course leader for the Computer Science and Engineering Department of International Institute of Information Technology, Kolkata. He started his career in Texas Instruments India Pvt. Ltd. and has over seven years of industry experience. He received his M. Tech degree in computer science from the Indian Statistical Institute, Kolkata in 1996. His undergraduate work was done in the Electronics and Telecommunication Engineering Dept. of the Jadvpur University, Koikata. He also worked as a research assistant in the Computer Eng. Dept. of Rutgers University for a year. He has led product development teams working on protocol stack development as well as VoIP. His current areas of interest include delay fault testing, wire routing, partitioning, approximation algorithms, and application of computational geometry to CAD problems.Bhargab B. Bhattacharya received the B.Sc. degree in physics from the Presidency College, Calcutta, the B.Tech. and M.Tech. 展开更多
关键词 delay fault false path REDUNDANCY stuck-at fault
原文传递
Current Mode Logic Testing of XOR/XNOR Circuit: A Case Study
2
作者 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
基于ATPG的无线接入芯片的可测试性设计
3
作者 郭慧晶 苏志雄 周剑扬 《现代电子技术》 2006年第24期117-119,122,共4页
可测试性设计是现代芯片设计中的关键环节,针对无线接入芯片的可测试性设计对测试技术有更高的要求。首先概述可测试性设计和测试向量自动生成理论,然后采用最新的测试向量自动生成技术,根据自行设计的无线接入芯片的内部结构及特点,建... 可测试性设计是现代芯片设计中的关键环节,针对无线接入芯片的可测试性设计对测试技术有更高的要求。首先概述可测试性设计和测试向量自动生成理论,然后采用最新的测试向量自动生成技术,根据自行设计的无线接入芯片的内部结构及特点,建立一套无线接入芯片可测试性设计的方案。同时功能测试向量的配合使用,使得设计更为可靠。最终以最简单灵活的方法实现了该芯片的可测试性设计。 展开更多
关键词 DFT 扫描链 atPG stuckat
下载PDF
Cellular automata basedmulti-bit stuck-at fault diagnosis for resistive memory
4
作者 Sutapa SARKAR Biplab Kumar SIKDAR Mousumi SAHA 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2022年第7期1110-1126,共17页
This paper presents a group-based dynamic stuck-at fault diagnosis scheme intended for resistive randomaccess memory(ReRAM).Traditional static random-access memory,dynamic random-access memory,NAND,and NOR flash memor... This paper presents a group-based dynamic stuck-at fault diagnosis scheme intended for resistive randomaccess memory(ReRAM).Traditional static random-access memory,dynamic random-access memory,NAND,and NOR flash memory are limited by their scalability,power,package density,and so forth.Next-generation memory types like ReRAMs are considered to have various advantages such as high package density,non-volatility,scalability,and low power consumption,but cell reliability has been a problem.Unreliable memory operation is caused by permanent stuck-at faults due to extensive use of write-or memory-intensive workloads.An increased number of stuck-at faults also prematurely limit chip lifetime.Therefore,a cellular automaton(CA)based dynamic stuck-at fault-tolerant design is proposed here to combat unreliable cell functioning and variable cell lifetime issues.A scalable,block-level fault diagnosis and recovery scheme is introduced to ensure readable data despite multi-bit stuck-at faults.The scheme is a novel approach because its goal is to remove all the restrictions on the number and nature of stuck-at faults in general fault conditions.The proposed scheme is based on Wolfram’s null boundary and periodic boundary CA theory.Various special classes of CAs are introduced for 100%fault tolerance:single-lengthcycle single-attractor cellular automata(SACAs),single-length-cycle two-attractor cellular automata(TACAs),and single-length-cycle multiple-attractor cellular automata(MACAs).The target micro-architectural unit is designed with optimal space overhead. 展开更多
关键词 Resistive memory Cell reliability stuck-at fault diagnosis Single-length-cycle single-attractor cellular automata Single-length-cycle two-attractor cellular automata Single-length-cycle multiple-attractor cellular automata
原文传递
数字电路故障诊断 被引量:10
5
作者 周继承 黎飞 肖庆中 《应用科技》 CAS 2008年第2期29-32,共4页
针对目前数字电路开发和生产过程中对电路的故障诊断效率低下的问题,开发了故障诊断定位软件,能有效地对数字电路中的固定故障和桥接故障进行诊断定位,应用该软件能有效地缩短查找数字电路中故障的时间,对提高数字电路的开发速度具有重... 针对目前数字电路开发和生产过程中对电路的故障诊断效率低下的问题,开发了故障诊断定位软件,能有效地对数字电路中的固定故障和桥接故障进行诊断定位,应用该软件能有效地缩短查找数字电路中故障的时间,对提高数字电路的开发速度具有重大的现实意义. 展开更多
关键词 数字电路 固定故障 桥接故障 故障诊断
下载PDF
片上网络互联的划分测试 被引量:4
6
作者 欧阳一鸣 齐芸 梁华国 《电子测量与仪器学报》 CSCD 2009年第11期101-107,共7页
在伪穷举测试的基础上,提出了一种片上网络互联的划分测试。将片上的资源(主要是路由器和通道)按一定的方法划分为4个区,然后采用伪穷举测试的方法分别对每个分区进行测试。实验证明,随着芯片规模的增大,本方法比伪穷举测试减少了测试... 在伪穷举测试的基础上,提出了一种片上网络互联的划分测试。将片上的资源(主要是路由器和通道)按一定的方法划分为4个区,然后采用伪穷举测试的方法分别对每个分区进行测试。实验证明,随着芯片规模的增大,本方法比伪穷举测试减少了测试时间和测试包数,降低了测试功耗,缩小了片上报错的范围。另外,本文还在划分测试的基础上提出了一种错误定位的方法,可以将出错的路由器或通道定位到出错分区的具体位置。 展开更多
关键词 片上网络 单固定故障 伪穷举测试 划分测试
下载PDF
基于极小碰集求解算法的测试向量集约简 被引量:3
7
作者 欧阳丹彤 陈晓艳 +2 位作者 叶靖 邓召勇 张立明 《计算机研究与发展》 EI CSCD 北大核心 2019年第11期2448-2457,共10页
自动测试向量生成的目的是对特定的故障模型确定1个高质量测试向量集使得芯片(设计)的故障覆盖率达到期望值,在芯片测试中是非常重要的环节.TetraMAX ATPG 2018是众多ATPG工具中功能最强、最易于使用的自动测试向量生成工具,可以在很短... 自动测试向量生成的目的是对特定的故障模型确定1个高质量测试向量集使得芯片(设计)的故障覆盖率达到期望值,在芯片测试中是非常重要的环节.TetraMAX ATPG 2018是众多ATPG工具中功能最强、最易于使用的自动测试向量生成工具,可以在很短的时间内生成具有高故障覆盖率的高质量测试向量集.提出基于极小碰集求解算法的极小完全测试向量集求解算法,通过对测试向量集约简问题重新建模,利用极小碰集求解算法对TetraMAX ATPG 2018产生的测试向量集进行约简.利用这一算法可以有效地缩减测试向量集规模,且保证其故障覆盖率不变,对降低芯片的测试成本有着重要的现实意义.实验针对固定型故障,结果表明:该算法具有良好的约简效果,而且可以保证所得测试向量集中不包含冗余的测试向量. 展开更多
关键词 电路测试 自动测试向量生成 测试向量集 约简 故障覆盖率 极小碰集 固定型故障
下载PDF
大规模数字集成电路标准矩阵功能测试新方法 被引量:2
8
作者 徐拾义 《计算机工程与科学》 CSCD 2005年第4期31-35,91,共6页
本文提出了一种对 VLSI电路功能测试的方法,可以同时检测和定位 VLSI电路输入和输出端上的固定故障和桥接故障,而不需要知道它们的内部逻辑结构。因而,对于简化测试过程、降低测试成本, 具有十分重要的实际意义。
关键词 大规模数字集成电路 VLSI 列交换算法 标准矩阵 功能测试
下载PDF
An Error Recoverable Structure Based on Complementary Logic and Alternating-Retry
9
作者 江建慧 《Journal of Computer Science & Technology》 SCIE EI CSCD 2005年第6期885-894,共10页
Modern VLSI circuits provide adequate on-chip resources. So that online testing and retry integrated into a chip are absolutely necessary for system-on-a-chip technology. This paper firstly proposes a general online t... Modern VLSI circuits provide adequate on-chip resources. So that online testing and retry integrated into a chip are absolutely necessary for system-on-a-chip technology. This paper firstly proposes a general online testing plus retrying structure. Obviously, although retry can mask transient or intermittent faults, it is useless for handling permanent faults generally. To solve this problem, this paper presents a novel dual modular redundancy (DMR) structure using complementary logic--alternating-complementary logic (CL-ACL) switching mode. During error-free operation, the CL-ACL structure operates by complementary logic mode. After an error is detected, it retries by alternating logic mode. If all errors belong to single or multiple temporary 0/1-error or stuck-at-error produced by one module, then these errors can be corrected effectively. The results obtained from the simulation validate the correctness of the CL-ACL structure. Analytic results show that the delay of the CL-ACL structure is dramatically less than that of a DMR structure using alternating-complementary logic mode. 展开更多
关键词 error recovery fault tolerance complementary logic alternating-retry temporary error stuck-at-error
原文传递
逻辑表达式图的实现及其在集成电路故障可测性中的应用
10
作者 陈世平 陈光(礻禹) 《四川大学学报(工程科学版)》 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
考虑逻辑门延时的冗余固定故障检测方法 被引量:1
11
作者 蔡烁 文翔 +1 位作者 童伟 欧阳翅 《计算机工程与应用》 CSCD 2012年第17期68-71,共4页
提出利用瞬态电流测试(IDDT Testing)方法检测数字电路中的冗余固定故障。检测时采用双向量模式,充分考虑逻辑门的延时特性。针对两类不同的冗余固定故障,分别给出了激活故障的算法,在此基础上再对故障效应进行传播。SPICE模拟实验结果... 提出利用瞬态电流测试(IDDT Testing)方法检测数字电路中的冗余固定故障。检测时采用双向量模式,充分考虑逻辑门的延时特性。针对两类不同的冗余固定故障,分别给出了激活故障的算法,在此基础上再对故障效应进行传播。SPICE模拟实验结果表明,该方法能有效地区分正常电路与存在冗余故障的电路,可以作为电压测试方法的一种有益的补充。 展开更多
关键词 冗余固定故障 瞬态电流 时延 跳变
下载PDF
任意极性或-符合型易测性网络及测试集 被引量:1
12
作者 潘张鑫 陈偕雄 阮谢永 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2008年第3期407-411,共5页
为提高数字电路的可测性,提出了一种可实现任意逻辑函数的任意极性或-符合型易测性网络,并给出了测试网络中所有单固定故障的通用测试集.该网络基于逻辑函数的混合极性及同或积的或-符合表示,其同或部分分别采用了串联和树形结构.为提... 为提高数字电路的可测性,提出了一种可实现任意逻辑函数的任意极性或-符合型易测性网络,并给出了测试网络中所有单固定故障的通用测试集.该网络基于逻辑函数的混合极性及同或积的或-符合表示,其同或部分分别采用了串联和树形结构.为提高可测性,用同或串的网络结构只需增加2个控制端及1个观察端,用同或树的网络结构只需增加4个控制端及1个观察端.对于一个n变量的逻辑函数,2种结构下通用测试集的基数分别为n+7和n+10.这种短的通用测试集非常适合用内建自测试实现,从而有效地缩短了测试时间. 展开更多
关键词 通用测试集 可测性设计 或-符合展开 单固定故障
下载PDF
通用Toffoli可逆门的固定故障测试
13
作者 刘云辉 谭涵月 吕娜娜 《电子质量》 2011年第12期57-61,共5页
可逆电路技术在低功耗芯片和量子通信中广泛使用。目前,大部分学者着重研究可逆电路的合成,对电路的故障测试却很少问津,但是可逆电路的测试在应用中却十分重要。文中构造了一种四输入通用Toffoli门(universal toffoli gate,UTG)用来检... 可逆电路技术在低功耗芯片和量子通信中广泛使用。目前,大部分学者着重研究可逆电路的合成,对电路的故障测试却很少问津,但是可逆电路的测试在应用中却十分重要。文中构造了一种四输入通用Toffoli门(universal toffoli gate,UTG)用来检测电路故障,这个门可以实现所有基本的布尔逻辑。UTG门可以检测到所有的单一固定故障并且能够获得一个最小测试向量集。使用该文提出的UTG门可实现所有复杂的可逆电路并且能够测试所有单一固定故障。实验结果表明,与其他测试方法相比,使用UTG门的量子消耗和测试向量都是之和是最小的。 展开更多
关键词 Toffoli门 固定故障测试 可逆电路
下载PDF
用可测性设计的方法设计PLA
14
作者 朱恒静 张卓 《电子产品可靠性与环境试验》 2001年第1期10-13,共4页
全面、有效地测试PLA ,是保证PLA类产品可靠性的重要手段。在设计的同时就考虑其测试问题 ,是解决PLA测试问题行之有效的方法。介绍了怎样用可测性设计的方法解决PLA的测试问题 ,给出了几种具体的实施方案 。
关键词 可测性设计 可编程逻辑阵列 数字电路 设计
下载PDF
一种新的LSI/VLSI电路测试方法
15
作者 高建华 《中国纺织大学学报》 CSCD 1995年第1期116-123,共8页
本文提出一种根据输出端值的变化频度测试LSI/VLSI电路I/O线上的固定故障的方法。该方法的优点是不需待测电路功能函数,也不需标准电路作比较。文章同时讨论用软件和硬件的实现方法。
关键词 LSI VLSI 集成电路 测试
下载PDF
基于故障插入的电路抗老化输入矢量生成研究
16
作者 刘士兴 程龙 +2 位作者 范对鹏 周光辉 易茂祥 《微电子学》 CSCD 北大核心 2017年第5期723-728,共6页
随着CMOS工艺特征尺寸的不断缩小,晶体管的老化效应严重影响了电路的可靠性,负偏置温度不稳定性(NBTI)是造成晶体管老化的主要因素之一。提出了一种基于固定故障插入的电路抗老化输入矢量生成方法,在电路的合适位置插入固定故障,通过自... 随着CMOS工艺特征尺寸的不断缩小,晶体管的老化效应严重影响了电路的可靠性,负偏置温度不稳定性(NBTI)是造成晶体管老化的主要因素之一。提出了一种基于固定故障插入的电路抗老化输入矢量生成方法,在电路的合适位置插入固定故障,通过自动测试向量生成(ATPG)工具获取较小的备选抗老化矢量集合,再从中筛选出最优矢量。由该方法生成的输入矢量可以使电路在待机模式下处于最大老化恢复状态,同时具有较小的时间开销。在ISCAS85电路中的仿真结果表明,与随机矢量生成方法相比,在电路待机模式下加载本文方法生成的输入矢量,可以达到最高17%的电路老化时延改善率。 展开更多
关键词 老化 自动测试向量生成 固定故障 负偏置温度不稳定性 输入矢量控制
下载PDF
量子元胞自动机全加器的布尔差分测试法
17
作者 张南生 蔡理 冯朝文 《微电子学》 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
基于量子元胞自动机容错全加器的设计
18
作者 张南生 蔡理 冯朝文 《微电子学与计算机》 CSCD 北大核心 2010年第11期74-76,81,共4页
为提高新一代纳米器件量子元胞自动机(QCA)电路的稳定性及可靠性,提出了一种容错1位全加器,然后通过QCA Designer软件来仿真分析1位容错全加器,验证了该设计的可行性及它具有较好的容错性,该设计对复杂QCA电路的容错性的研究起到借鉴作用.
关键词 量子元胞自动机 择多逻辑门 固定故障模型 容错全加器
下载PDF
集成电路高层故障模型间关系分析方法
19
作者 杨修涛 鲁巍 李晓维 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期350-355,共6页
集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定... 集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定型故障模型间关系可以建立高层故障模型的评估规则,在该规则下可以再对高层故障模型间关系进行分析,以确定彼此间的覆盖关系·归纳模型间的互相覆盖以确定彼此是否包含,这有助于对高层故障模型进行评估,寻找能够对应逼近门级固定型(stuck-at)故障模型的高层故障模型序列,该模型序列有望指导新的测试生成·最后,以对ITC99中标准时序电路的实验来说明该理论方法· 展开更多
关键词 高层故障模型 固定型故障模型 统计 故障模型序列
下载PDF
基于正极性或-符合展开的易测性网络
20
作者 潘张鑫 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2008年第1期40-43,47,共5页
为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集.该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构.为提高可测性,同... 为提高数字电路的可测性,提出了可实现任意逻辑函数的正极性或-符合网络的易测性实现,并给出了测试网络中所有单固定故障的通用测试集.该实现基于逻辑函数的正极性或-符合展开,网络的同或部分分别采用了串联和树形结构.为提高可测性,同或串的实现结构只需增加1个控制端及1个观察端,同或树的实现结构只需增加3个控制端及1个观察端.对于1个n变量的逻辑函数,两种实现结构下通用测试集的基数分别为(n+4)和(n+5).这样短的通用测试集非常适合用内建自测试实现,从而有效地缩短测试时间. 展开更多
关键词 通用测试集 可测性设计 或-符合展开 单固定故障
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部