01
FPGA逆向工程概述
什么是FPGA网表逆向、黑盒测试的定义、两者结合的必要性与价值。
概念导论
02
FPGA基础与开发流程回顾
FPGA内部结构（LUT、FF、BRAM、DSP）、典型开发流程（综合、实现、生成比特流）。
基础LUTBRAM
03
网表文件格式解析
EDIF、NGC、XDL、Verilog网表的结构与差异，如何解析这些文件。
EDIFXDL解析
04
网表逆向基础
从比特流到网表的还原过程，关键步骤与工具（Project X-Ray、FASM）。
比特流Project X-Ray
05
网表逻辑提取
如何从网表中提取逻辑单元（LUT方程、FF连接、BRAM配置）。
LUT方程FF
06
网表连接关系重建
信号追踪、扇入扇出分析、层次化结构恢复。
追踪扇入扇出
07
网表模块化分割
基于功能或结构的自动分割算法，提取子模块边界。
分割子模块
08
网表功能识别
常见IP核（计数器、状态机、FIFO）的模式匹配与识别。
IP核模式匹配
09
网表逆向中的时序分析
关键路径提取、时序约束逆向推断。
时序关键路径
10
黑盒测试基础
黑盒测试方法论（等价类划分、边界值分析、因果图法）。
方法论等价类
11
FPGA黑盒测试环境搭建
测试平台（Testbench）设计、激励生成、响应采集。
Testbench激励
12
FPGA黑盒测试向量生成
随机测试、定向测试、覆盖率驱动的测试生成。
随机定向覆盖率
13
FPGA黑盒测试结果分析
波形分析、断言检查、功能覆盖率统计。
波形断言
14
网表逆向与黑盒测试的接口设计
如何将逆向得到的网表信息转化为黑盒测试的输入。
接口转化
15
基于逆向信息的测试点提取
从网表中提取关键信号、状态机状态、数据通路作为测试点。
测试点状态机
16
结合策略一：逆向引导的定向测试生成
利用网表结构生成高覆盖率的测试向量。
定向测试高覆盖率
17
结合策略二：黑盒结果辅助网表功能验证
用测试响应验证逆向功能的正确性。
验证响应
18
结合策略三：迭代精化
逆向结果指导测试，测试结果修正逆向模型。
迭代精化
19
案例实战一：简单组合逻辑网表
加法器、多路选择器的逆向与黑盒验证。
组合逻辑加法器
20
案例实战二：时序逻辑网表
计数器、移位寄存器的逆向与黑盒验证。
时序计数器
21
案例实战三：有限状态机（FSM）
FSM的逆向与黑盒验证。
FSM状态机
22
案例实战四：存储类模块
BRAM、FIFO的逆向与黑盒验证。
BRAMFIFO
23
案例实战五：复杂IP核
SPI控制器等复杂IP的逆向与黑盒验证。
SPI复杂IP
24
自动化工具链设计
构建从网表解析到黑盒测试执行的自动化流程。
自动化工具链
25
脚本语言在结合策略中的应用
Python/Tcl脚本实现网表解析、测试生成与结果比对。
PythonTcl
26
覆盖率分析与优化
结合网表结构分析代码覆盖率、翻转覆盖率、功能覆盖率。
覆盖率翻转
27
常见陷阱与避坑指南
网表解析错误、时序不匹配、测试环境干扰。
陷阱避坑
28
性能优化与大规模网表处理
并行解析、内存管理、增量逆向。
性能大规模
29
安全与合规性考量
逆向工程的法律边界、知识产权保护、合规使用场景。
法律合规
30
未来趋势与进阶方向
机器学习辅助逆向、形式化验证与黑盒测试结合、开源工具生态。
ML形式化开源