22、组合自动测试模式生成（ATPG）算法与测试系统详解

组合自动测试模式生成（ATPG）算法与测试系统详解

1. 重要的组合ATPG算法

在组合电路的自动测试模式生成（ATPG）领域，有多种重要的算法，下面为你详细介绍：
- SOCRATES ：该算法会根据当前电路信号的设置，动态计算支配节点并动态学习信号之间的隐含关系。这虽然能发现更多信号隐含关系，但在每个决策步骤都运行学习和支配节点算法，会带来较高的计算成本。
- EST（等价状态哈希） ：由Giraldi和Bushnell提出，引入了评估前沿（E - frontier）的概念。E - frontier是一种部分电路功能分解，相当于描述搜索空间的二叉决策图中的一个节点。它是已知标签电路部分和未知（X）标签电路部分之间的割集，且包含D - frontier。
- 工作原理 ：每次ATPG决策步骤都会生成一个新的E - frontier。通过将E - frontier（电路分解）哈希到哈希表中，检查是否与之前学习到的E - frontier匹配。若匹配，则意味着当前故障搜索遇到了之前故障学习到的相同功能分解。
- 优势 ：多数情况下，EST可终止搜索，直接回溯或用之前故障测试模式中的信号替代当前故障测试模式中的未知信号。它还贡献了完全（并行）多回溯，通过并行进行所有信号回溯加速了回溯过程，以及冗余故障演算，可从已证明的冗余故障中推导发现更多冗余故障。
- 递归学习 ：由Kunz和Pradhan开创，用于加速FAN ATPG算法。它递归应用类似SOCRATES的学习方法，以确定更多电路信号