01
硬件木马概述
什么是硬件木马？分类（功能型、触发型、通信型），攻击场景与危害。
基础概念
02
网表级检测基础
网表概念，门级网表与RTL区别，为什么在网表级做检测？
核心原理
03
检测环境搭建
Linux环境，EDA工具链(Synopsys/Cadence)，Python与TCL配置。
环境工具
04
网表解析入门
Verilog网表结构，Module与Instance，端口与连线识别。
解析Verilog
05
静态特征分析
扇入扇出分析，组合逻辑深度，可疑信号路径筛选。
静态特征
06
动态仿真技术
Testbench编写，VCS/Modelsim仿真，波形分析与异常捕获。
仿真动态
07
侧信道分析基础
功耗分析原理，基于功耗的检测，电流波形采集与特征提取。
侧信道功耗
08
机器学习辅助检测
特征工程(拓扑/逻辑特征)，SVM/随机森林/神经网络，模型评估。
ML分类
09
黄金模型比对法
无木马参考网表构建，结构比对算法，差异点定位与误报过滤。
比对黄金
10
基于形式化验证的检测
模型检测基础，断言编写，SAT求解器在木马检测中的应用。
形式化SAT
11
触发型木马检测
时间/条件/稀有节点触发识别，触发逻辑逆向分析。
触发逆向
12
功能型木马检测
额外逻辑注入检测，状态机篡改检测，数据通路异常分析。
功能状态机
13
通信型木马检测
隐蔽信道识别，侧信道泄露检测，异常握手协议分析。
通信隐蔽
14
大规模网表自动化检测
脚本化流程，并行化策略，结果聚合与报告生成。
自动化脚本
15
实战案例一：AES加密核
基于静态分析+动态仿真的硬件木马检测。
AES实战
16
实战案例二：CPU核触发型木马
基于形式化验证的触发型木马检测。
CPU形式化
17
实战案例三：SoC总线通信型木马
基于侧信道分析的通信型木马检测。
SoC侧信道
18
误报与漏报处理
常见误报来源，阈值调优，人工复核流程设计。
调优误报
19
检测工具链集成
集成到EDA流程，CI/CD自动化检测，结果可视化。
集成CI/CD
20
对抗性木马检测
针对检测算法的木马设计，对抗样本生成，鲁棒性提升。
对抗鲁棒
21
多阶段检测策略
粗筛到精检流程，不同方法组合，资源与精度权衡。
策略多阶段
22
基于图神经网络的检测
图结构数据构建，GNN模型，节点/图分类任务。
GNN图网络
23
硬件木马检测标准与规范
IEEE标准，DO-254安全规范，军工航天特殊要求。
标准规范
24
开源工具实践
HAL工具使用，Fault工具集，开源网表解析库。
开源HAL
25
检测报告撰写
报告结构模板，风险等级划分，修复建议撰写技巧。
报告文档
26
团队协作与知识库建设
检测经验沉淀，木马特征库维护，团队培训体系。
协作知识库
27
未来趋势与挑战
AI驱动自动化，量子计算影响，新型木马技术展望。
趋势前沿
28
综合实战项目一：RISC-V核
基于开源RISC-V核的完整检测流程（网表到报告）。
RISC-V综合
29
综合实战项目二：第三方IP核
第三方IP核的安全性评估与检测。
IP核评估
30
课程总结与认证
核心知识点回顾，面试题解析，CISSP硬件安全认证路径。
总结认证