曾芷德
- 作品数：25 被引量：28H指数：4
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术电气工程更多>>
- 基于故障划分的并行测试生成算法被引量：2
- 1999年
- 文章从理论上分析了提高基于故障划分的并行测试生成算法的加速比的途径．在此基础上，提出了把相关故障识别和最短路径敏化相结合的基于输出扇入锥的逆向故障划分方法BFPOC（back-wordfaultpartitioningofoutputfan－incones），并把该方法与Banejee推荐的基于输入扇出锥的正向故障划分方法TFPIC（towordfaultpartitioningofinputfan－outcones）和常用的基于故障顺序的等步长划分方法EDPFS（equaldistancepartitioningoffaultsequences）进行了实验比较．结果表明，在大规模并行处理环境下，BFPOC方法比后两种方法有明显的优势，能获得更高的加速比．
- 曾芷德曾献君
- 关键词：多处理机
- VLSI并行测试生成系统的一种动态层次框架被引量：2
- 2001年
- 随着 VLSI技术的发展和计算机性能的提高 ,并行测试生成系统不仅必需而且可行。本文在总结已有并行技术的基础上 ,提出了并行测试生成系统的一种动态层次框架 。
- 刘蓬侠曾芷德李思昆
- 关键词：VLSI超大规模集成电路并行计算机
- 一个面向同步时序电路的电路并行测试生成算法
- 面对VLSI设计规模日益增大的挑战,除了电路并行以外,其它已有的基本并行策略都无法从根本上解决测试生成的复杂性问题.然而,已有的电路并行测试生成算法并未取得理想的结果,尤其对时序电路.如何划分电路,成为电路并行算法的设计...
- 刘蓬侠曾芷德李思昆
- 关键词：同步时序电路触发器
- 文献传递
- 长临界组合通路的重构算法
- 1999年
- 讨论了组合逻辑电路中长临界组合通路的重构变换算法，并证明了该算法的正确性及对延时优化的有效性．
- 曾献君孙绪红曾芷德
- 关键词：组合逻辑电路
- 一个基于故障敏化模式分解的并行ATPG算法SPPTG被引量：4
- 2000年
- 提出了一个基于故障敏化模式分解的搜索空间并行ATPG算法SPPTG。它与现有的基于PODEM算法的搜索空间并行ATPG算法的显著不同是可对搜索空间进行静态划分。SPPTG已用C语言在SUN工作站上实现 ,并已集成到并行测试生成原型系统P -ATGTA中。实验结果表明 ,SPPTG既可通过扩大搜索空间办法提高单机ATPG的故障覆盖率 ,又可在较短的时间内遍历单机需要搜索的空间 ,获得较高的加速比。
- 曾芷德刘蓬侠
- 对并行测试生成理论的一点综述被引量：1
- 2000年
- 综述了并行自动测试生成 (ATPG)理论的发展概况 ,并对发展前景提出了几点看法。文章特别强调 :研究一种能把被测电路实质性划小的方法是进一步提高并行 ATPG效率的关键所在。
- 曾芷德
- 关键词：ATPG加速比VLSI集成电路
- 基于扇出源的同步时序电路故障并行故障模拟器被引量：1
- 2001年
- 从工程应用的角度出发 ,同步时序电路故障模拟采用单测试码故障并行的模拟结果更能反映实际情况 .因此 ,尽管已有的研究表明采用测试码并行的故障模拟器的速度更快 ,但研究快速的故障并行的同步时序电路故障模拟器仍然非常必要 .基于扇出源的同步时序电路故障并行故障模拟器结合了扩展的扇出源故障模拟方法和临界路径追踪算法 .对 ISCAS89部分电路的实验结果表明 。
- 刘蓬侠曾芷德李思昆
- 关键词：测试系统同步时序电路计算机
- 基于故障划分的并行测试生成算法
- 从理论上分析了提高基于故障划分的并行测试生成算法的加速比的途径。在此基础上提出了把相关故障识别和最短路径敏化相结合的基于输出扇人锥的逆向故障划分方法（BFPOC），并把该方法与文献1推荐的基于输人扇出锥的正向故障划分方怯...
- 曾芷德
- 关键词：加速比电路
- 论有限回溯测试模式产生方法
- 2000年
- 本文首先剖析了有限回溯测试模式产生 (FBTPG)方法的实质 ,然后在深入分析三种ATPG系统的C B曲线的实验数据的基础上 ,提出故障模拟对测试生成的综合调节效应 ,为FBTPG方法的有效性提供了理论依据 .最后以ISCAS 85和ISCAS 89电路为基础 ,给出了FBTPG与随机测试生成、确定性测试生成和商用ATPG系统FlexTest的实验比较结果 。
- 曾芷德曹贺锋
- 关键词：故障模拟
- 特大规模组合电路高速测试生成方法的研究与实现
- 针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法。该方法采用有限回溯测试模式产生方法生成测试码，采用n（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为n对1紧耦合集成方式。该方...
- 曾芷德
- 关键词：组合电路
