01
网表逆向工程导论
芯片安全威胁概述 · 网表逆向工程的定义与目标 · 课程大纲与学习路径
导论安全基础
02
数字芯片设计基础回顾
从RTL到GDSII的流程 · 标准单元库与网表 · 综合与网表生成
设计流程综合
03
网表格式详解
Verilog网表 · EDIF格式 · SPICE网表 · 通用网表结构解析
格式解析
04
逆向工程环境搭建
Linux工具链安装 · Yosys与ABC工具入门 · Python解析库准备
环境工具链
05
网表解析基础
词法分析与语法分析 · 网表AST构建 · Python实现简单网表解析器
解析AST
06
网表层次化结构分析
模块实例化与层级关系 · 扁平化处理技术 · 层次树构建
层次化扁平化
07
标准单元识别
标准单元库特征 · 基于特征匹配的单元识别 · 机器学习辅助识别方法
单元识别ML
08
组合逻辑提取
逻辑门级网表分析 · 布尔函数推导 · 扇入扇出分析
组合逻辑布尔
09
时序逻辑识别
触发器与锁存器结构 · 时钟网络分析 · 复位信号追踪
时序触发器
10
有限状态机(FSM)恢复
状态转移图构建 · 状态编码识别 · FSM等价性验证
FSM状态机
11
数据通路分析
加法器、乘法器、多路选择器识别 · 数据流图构建
数据通路运算器
12
存储器结构识别
SRAM、寄存器文件、ROM结构特征 · 地址译码逻辑分析
存储器SRAM
13
控制逻辑提取
控制器结构识别 · 微码与状态机区分 · 控制信号追踪
控制逻辑微码
14
网表分区与模块化
基于功能的分区算法 · 图分割技术 · 层次化逆向策略
分区模块化
15
硬件木马检测基础
木马分类与特征 · 网表级木马检测方法 · 静态分析技术
木马安全
16
基于机器学习的木马检测
特征工程 · 监督学习模型 · 异常检测方法
ML异常检测
17
逻辑混淆与逆向
混淆技术概述 · 混淆网表特征分析 · 去混淆基本方法
混淆逆向
18
网表等价性验证
组合逻辑等价性检查 · 时序等价性验证 · SAT求解器应用
等价性SAT
19
形式化验证在逆向中的应用
模型检验 · 定理证明 · 符号执行技术
形式化验证
20
网表可视化技术
图布局算法 · 交互式可视化工具 · 大规模网表可视化策略
可视化布局
21
侧信道分析与网表
功耗轨迹与网表关联 · 电磁辐射分析 · 硬件后门检测
侧信道功耗
22
IP核盗版检测
水印技术 · 指纹提取 · 相似性度量方法
IP保护水印
23
网表逆向工程工具链
开源工具集成 · 自动化流程构建 · 脚本化分析框架
工具链自动化
24
案例分析
简单加密协处理器逆向 · AES硬件实现分析 · RISC-V处理器逆向
案例AESRISC-V
25
安全评估报告撰写
漏洞报告结构 · 技术细节描述 · 修复建议编写
报告安全评估
26
网表逆向工程伦理与法律
知识产权保护 · 逆向工程合法性 · 合规性指南
法律伦理
27
前沿技术
图神经网络在网表分析中的应用 · 大语言模型辅助逆向 · 自动化逆向趋势
GNNLLM前沿
28
综合实践项目 (一)
项目选题与规划 · 数据准备与工具链 · 阶段性成果展示
实践项目
29
综合实践项目 (二)
完整逆向流程实施 · 安全漏洞发现 · 最终报告与演示
实践漏洞
30
课程总结与未来展望
核心技能回顾 · 行业发展趋势 · 持续学习资源推荐
总结展望