22、恶意硬件逻辑与测试数据处理技术解析

恶意硬件逻辑与测试数据处理技术解析

异步计数器型顺序特洛伊木马对电路可靠性的影响

在电子电路领域，恶意硬件逻辑（MHL）中的异步计数器型顺序特洛伊木马是一个值得关注的问题。这种特洛伊木马由所选内部电路节点上罕见事件的连续发生触发，而非系统时钟。

以 c17 电路为例，当插入一个顺序特洛伊木马时，该木马是一个异步二进制计数器。每当网络 Ttrojan 上出现正边缘时，计数器的计数值就会增加，而 Ttrojan 是通过对节点 N11、N16 和 N19 进行与运算得到的。当计数值达到 (2n - 1) 时，特洛伊木马会翻转主输出节点 N23 的逻辑值。

这里考虑了两种不同的特洛伊木马：Trojan - 4 和 Trojan - 5。它们的触发条件和触发概率如下表所示：
| 特洛伊木马状态 | 计数器递增条件 | 触发条件 | 特洛伊激活概率（估计） |
| — | — | — | — |
| Trojan - 4 | 2³ = 8，Tclock = N11&N16&N19 上升沿 | Tcount = 3′b111 | 0.0406 |
| Trojan - 5 | 2⁴ = 16，Tclock = N11&N16&N19 上升沿 | Tcount = 4′b1111 | 0.0191 |

这些激活概率是通过使用 3200 个测试向量进行模拟估计得到的。同时，还对这两种特洛伊木马感染的 c17 电路的平均故障时间（MTTF）进行了研究，结果如下表：
| 特洛伊木马 | 最佳估计 MTTF | 95% 置信区间 | 平均 MTTF |
| — | — | — | — |