01
网表安全概述
什么是网表级安全 · 与RTL安全的区别 · 安全重要性
基础概念
02
网表基础回顾
基本结构 · 格式(Verilog/EDIF/SPICE) · 层次化设计
回顾结构
03
网表解析与预处理
Yosys/Synopsys工具 · 标准化 · 数据结构构建
解析预处理
04
硬件木马基础
定义 · 分类(触发型/功能型) · 网表表现形式
木马基础
05
网表级硬件木马检测技术
逻辑分析 · 结构特征 · 机器学习方法
检测ML
06
侧信道分析基础
功耗分析 · 电磁辐射 · 时序分析网表级应用
侧信道分析
07
网表级功耗分析
动态/静态功耗建模 · PrimePower · 异常检测
功耗仿真
08
网表级时序分析
STA基础 · 时序路径提取 · 异常检测
时序STA
09
网表级功能验证
形式化验证 · 仿真(VCS/Modelsim) · 覆盖率分析
验证仿真
10
网表级可测试性设计(DFT)安全
扫描链 · 边界扫描 · BIST安全
DFT安全
11
网表级冗余逻辑检测
冗余电路识别 · 与木马关系 · 消除技术
冗余检测
12
网表级状态机安全
FSM提取 · 异常状态检测 · 冗余状态分析
状态机FSM
13
网表级数据路径安全
数据路径提取 · 异常分析 · 旁路攻击
数据路径旁路
14
网表级控制路径安全
控制路径提取 · 后门检测 · 完整性检查
控制路径后门
15
网表级存储器安全
存储器结构分析 · 读写异常 · 内容保护
存储器保护
16
网表级时钟网络安全
时钟网络结构 · 时钟门控安全 · 抖动毛刺检测
时钟毛刺
17
网表级复位网络安全
复位网络结构 · 异步复位同步释放 · 完整性检查
复位安全
18
网表级电源网络安全
电源网络结构 · 电源门控 · 噪声/电压降检测
电源噪声
19
网表级测试点安全
测试点插入风险 · 隐藏功能检测 · 移除技术
测试点DFT
20
网表级调试接口安全
JTAG安全 · 后门检测 · 访问控制
调试JTAG
21
网表级加密与解密
逻辑混淆 · SAT攻击 · IP保护
加密解密
22
网表级逻辑混淆技术
LUT混淆 · 可编程单元 · 状态机混淆
混淆LUT
23
网表级SAT攻击与防御
SAT原理 · 工具(SAT-Hard) · 防御策略
SAT攻击
24
网表级逆向工程
逆向流程 · 功能恢复 · 结构恢复
逆向恢复
25
网表级安全评估框架
评估指标体系 · 评估流程 · 报告生成
评估框架
26
网表级安全工具链
开源(Yosys/ABC/Triton) · 商业 · 集成
工具链开源
27
网表级安全案例分析(一)
经典木马案例 · AES木马 · RSA木马
案例木马
28
网表级安全案例分析(二)
真实CVE漏洞 · 分析与复现
CVE真实
29
网表级安全自动化
Python/Tcl脚本 · 自动报告 · CI/CD集成
自动化脚本
30
网表级安全未来趋势
AI驱动 · 量子计算影响 · 新兴攻击面
趋势AI