对实际数字电路中冗余故障的分析

系统地研究了实际数字电路中冗余故障的特性,详细深入地分析了ISCAS85基准电路中10个组合电路的全部550个冗余故障,找出了它们各自形成的原因并将其分成5类,研究发现其中只有3个故障是最难测的,算法中需要大量回溯;其它547个故障只要按照电路结构和测试本身的规律来形成测试,则基本上无需回溯中。     

故障模拟方法中的静态和动态加速技术

本文针对故障模拟中最费时的扇出源故障模拟提出了若干加速技术。     

基于扇出源单故障传播的开行码临界路径跟踪故障模拟

本文提出了一种快速的组合电路故障模拟方法－基于扇出源单故障传播的平行码临界路径跟踪法，临界路径跟踪法是一种十分快速的，但近似的组合电路故障模拟方法，将其同平行码故障模拟结合起来，其效率波进一步成倍地提高，为使其成为一个完全的算法，对每个非停止线扇出源故障，我们采用了平行码单故障传播法，同时，为加快其速度，本文提出了若干加速技术，用于故障模拟的各个部分，例如，事件驱动，多级活动事件栈，测试码标记向量     

基于扇出源单故障传播的平行码临界路径跟踪故障模拟

本文提出了一种快速的组合电路故障模拟方法──基于扇出源单故障传播的平行码临界路径跟踪法．临界路径跟踪法是一种十分快速的、但近似的组合电路故障模拟方法，将其同平行码故障模拟结合起来，其效率被进一步成倍地提高．为使其成为一个完全的算法，对每个非停止线扇出源故障，我们采用了平行码单故障传播法．同时，为加快其速度，本文提出了若干加速技术，用于故障模拟的各个部分．例如，事件驱动、多级活动事件栈、测试码标记向量、扩大的停止线以及平行处理时的捕获线概念等等．本算法已用Ｃ语言在ＳＵＮ４／ＳＰＡＲＣＳＬＣ上实现，文中给出了ＩＳＣＡＳ’８５的１０个组合电路的实验结果．     

一种低成本的测试码自动产生算法

为了降低超大规模集成电路（ＶＬＳＩ）测试中的测试产生和测试应用代价，本文提出了一种低成本的测试码自动产生算法－临界路径跟踪测试产生（ＣＰＴＴＧ）。本文主要从算法的搜索策略、扇出源的临界性确定及测试产生过程中的加速技术三个方面，介绍ＣＰＴＴＧ的主要思想和关键技术。文中给出了ＣＰＴＴＧ对国际通用的１０个组合电路范例的实验结果，表明了ＣＰＴＴＧ可以在较短时间内获得具有较高故障覆盖率的较小测试集。     

对数字电路扇出的影响和造成困难的分析

提出一种在 Benchmark电路中存在的隐式扇出和描述实际组合电路中扇出的一种方法 .从 D传送、赋值和冗余、难测故障等方面 ,对扇出的影响造成的困难进行了分析 ,并叙述了其影响的范围和程度 .     

新时代防水工程发展战略

房屋最基本的功能是“避风雨、驱寒暑”。人类生活从原始的穴居时期开始,发展到今天现代化高楼大厦,已解决了驱寒避暑问题,而避风雨中的避雨始终存在较为严重问题。原始时期想解决而无良策,现代建筑有办法解决,却因人为、客观等各种复杂原因而成为难以解决的质量通病。从今年一月三十日实行的《建设工程质量管理条例》明确了建设、勘察、设计、施工、     

逻辑验证自身的特点及其利用

1引言随着信息技术的发展,对数字系统的要求愈来愈高,其复杂性也日益增大,设计的正确性问题越来越突出．因此,人们从各个方面对逻辑验证进行了广泛的研究,如从模拟、测试、形式化方面及其它等等．已发表的文献不胜枚举,如文献［1—14」．但我们认为他们都只从技术以及这些技术如何应用到逻辑验证问题入手进行深入的研究,而没有注意逻辑验证自身的特点．如果充分利用这些特点．将使逻辑验证的工作简化许多．我们长期从事数字系统测试的研究,特别是测试码产生．对于工作中接触到的逻辑验证问题,一开始总是习惯从测试角度去看待,感觉…     

时序电路故障模拟的临界跟踪法

本文在前人对组合电路故障模拟的临界路径跟踪法的基础上,着重对时序电路的问题和难点进行了理论和实际的分析、试算,提出了不同于组合电路的确定敏感输入、控制输入,进行临界跟踪以及故障影响传播等一系列方法,将临界路径跟踪法推广到了时序电路.同时,在保证方法的完全性及加快方法的速度方面,也作了进一步的改进.