01
FPGA网表逆向基础
网表概念、逆向工程概述、网表格式解析（EDIF/Verilog网表）
入门概念
02
网表解析工具开发
Python解析EDIF网表、构建网表数据结构、网表拓扑提取
工具Python
03
网表逻辑功能提取
组合逻辑提取、时序逻辑提取、黑盒模块识别
逻辑提取
04
网表层次化分析
模块层次划分、跨层次信号追踪、层次化网表重构
层次重构
05
网表与RTL代码对比
结构相似度分析、功能等价性检查、差异点定位
对比等价
06
仿真验证环境搭建
Vivado/Modelsim仿真环境配置、Testbench编写规范、波形查看技巧
环境仿真
07
网表级仿真激励生成
自动生成测试向量、边界条件覆盖、随机测试生成
激励测试
08
网表仿真与RTL仿真对比
波形对比方法、信号一致性检查、时序偏差分析
对比波形
09
网表逆向中的形式化验证
等价性检查工具、SAT求解器应用、符号仿真技术
形式化SAT
10
网表逆向中的调试技术
断点设置、信号追踪、内部节点探测
调试追踪
11
网表逆向中的时序分析
关键路径提取、时序约束逆向、时序违规定位
时序约束
12
网表逆向中的功耗分析
功耗模型逆向、动态功耗估算、静态功耗分析
功耗估算
13
网表逆向中的安全分析
硬件木马检测、后门电路识别、冗余逻辑分析
安全木马
14
网表逆向中的IP核识别
IP核特征库构建、模板匹配算法、IP核边界确定
IP匹配
15
网表逆向中的状态机提取
状态编码识别、状态转移图重构、状态机等价验证
状态机FSM
16
网表逆向中的存储器分析
BRAM/LUTRAM识别、存储器容量估算、存储器内容提取
存储器BRAM
17
网表逆向中的DSP单元分析
DSP48E1/E2识别、运算模式推断、数据通路重构
DSP运算
18
网表逆向中的时钟网络分析
时钟树提取、时钟域划分、时钟门控识别
时钟门控
19
网表逆向中的复位网络分析
复位树提取、复位类型识别、复位同步分析
复位同步
20
网表逆向中的IO接口分析
IO标准识别、IO时序分析、IO协议推断
IO接口
21
网表逆向中的SerDes分析
高速串行接口识别、PLL配置推断、数据对齐分析
SerDesPLL
22
网表逆向中的PCIe接口分析
PCIe核识别、链路配置推断、DMA引擎分析
PCIeDMA
23
网表逆向中的DDR接口分析
DDR控制器识别、时序参数提取、PHY配置分析
DDRPHY
24
网表逆向中的以太网接口分析
MAC核识别、PHY配置推断、协议栈分析
以太网MAC
25
网表逆向中的处理器核分析
软核/硬核识别、指令集推断、总线接口分析
处理器指令集
26
网表逆向中的总线结构分析
AXI/AHB/APB总线识别、总线拓扑提取、地址映射推断
总线AXI
27
网表逆向中的中断系统分析
中断控制器识别、中断优先级推断、中断向量表提取
中断向量
28
网表逆向中的DMA控制器分析
DMA通道识别、传输模式推断、描述符链分析
DMA描述符
29
网表逆向中的配置寄存器分析
寄存器地址映射、寄存器位定义、配置序列推断
寄存器配置
30
网表逆向综合项目实战
完整网表逆向流程、仿真验证联动、逆向报告生成
实战综合