17、电路可测试性度量方法解析

电路可测试性度量方法解析

1. SCOAP 可控性与可观测性

在电路测试中，SCOAP（Software-Controlled Observability Analysis Program）方法用于计算电路的可控性和可观测性。

1.1 组合电路的 SCOAP 计算

计算组合电路的可控性和可观测性时，首先从主输入（PI）到主输出（PO）计算可控性，然后从 PO 到 PI 计算可观测性。
- 可控性计算 ：对所有 PI 设定初始可控性值，对于其他节点，通过逻辑门和触发器的输入可控性映射到输出可控性，迭代直至反馈回路中的可控性数值稳定。
- 可观测性计算 ：对所有 PO 设定初始可观测性值，对于其他节点，利用预计算的可控性和相应方程，将逻辑门和触发器的输出节点可观测性映射到输入可观测性。

例如，在一个具体的组合电路中，计算各逻辑门和输入的可控性和可观测性。先从 PI 开始，按照逻辑门的连接顺序依次计算输出的可控性，再从 PO 反向计算输入的可观测性。计算复杂度为 (O(n))，其中 (n) 是逻辑门的数量。

在计算过程中，会发现某些信号较难观测或控制。如从 PPI PPI7 到门 4 以及从 R 到门 4 的扇出分支是最难观测的信号；PPO7 和门 5 的所有扇出信号最难控制为逻辑 1，PPO7 最难控制为逻辑 0。

以下是组合电路 SCOAP 计算步骤：
1. 对于所有 PI (I)，设置 (CC0 = 0)，(CC1 = 0)。
2. 对于所有其他节点 (N)，设置 (CC0 = \infty)，(CC1