高级检索

加速路径时滞故障的强健测试产生

ON THE ACCELERATION OF ROBUST TEST GENERATION FOR PATH DELAY FAULTS

  • 摘要: 探讨如何利用针对固定型故障测试产生的比较成熟的算法,结合时滞故障的特点,进行路径时滞故障的强健测试产生.在十值逻辑完备性的基础上,提出最大输入值组的概念,减少测试过程中不完善和重复的选择;给出多路回退过程中的目标传播规则,以减少传播过程中的目标个数,加快回退速度;改进了路径敏化方法,强调了对局部结果的保存和利用,减少重复计算;探讨了时滞测试中XOR/NXOR门的直接处理方法;在FAN算法基础上,实现了一个实验性路径时滞故障测试产生系统,并给出实验结果.

     

    Abstract: This article discusses how to generate robust tests for path delay faults by improving the matured test generation algorithm for stuck-at faults, according to the characteristics of path delay faults. This article defines the maximum input-value groups for one gate, develops the guidelines for the multiple backtrace procedure, improves path sensitization method, and discusses the direct processing for XOR/NXOR gates.

     

/

返回文章
返回