第01章
FPGA网表基础
什么是网表？网表在FPGA设计流程中的位置，网表的分类（综合后网表、布局后网表、布线后网表）。
概念分类
第02章
网表文件格式解析
EDIF格式详解，Verilog网表格式，VHDL网表格式，网表文件结构剖析。
EDIFVerilogVHDL
第03章
网表提取工具入门
常用网表提取工具介绍（Synplify、Vivado、Quartus），工具环境配置，命令行提取方法。
SynplifyVivadoQuartus
第04章
网表提取实战
使用Tcl脚本从Vivado提取网表，提取综合后网表，提取实现后网表，网表导出选项设置。
TclVivado脚本
第05章
网表结构分析
网表中的基本单元（LUT、FF、BRAM、DSP），网表连接关系，网表层次结构。
LUTFFBRAMDSP
第06章
逻辑还原概念
什么是逻辑还原？逻辑还原与逆向工程的区别，逻辑还原的应用场景（安全审计、IP核分析、故障定位）。
概念应用
第07章
逻辑还原方法论
自底向上还原法，自顶向下还原法，混合还原法，还原流程框架。
方法论流程
第08章
网表预处理
网表去冗余，网表扁平化处理，网表重命名，网表规范化。
预处理规范化
第09章
基本逻辑门还原
从LUT查找表中还原逻辑表达式，还原AND/OR/NOT门，还原复合逻辑门。
LUT逻辑门
第10章
组合逻辑还原
多级组合逻辑还原，加法器结构识别，比较器结构识别，多路选择器还原。
组合逻辑加法器
第11章
时序逻辑还原
触发器还原，寄存器还原，移位寄存器识别，计数器结构还原。
触发器寄存器计数器
第12章
有限状态机还原
状态机结构特征，状态编码识别，状态转移图重建，状态机类型判断。
FSM状态机
第13章
存储器结构还原
BRAM配置识别，分布式RAM还原，FIFO结构识别，ROM结构还原。
BRAMFIFOROM
第14章
DSP单元还原
DSP48E1/E2结构解析，乘加器还原，累加器识别，DSP级联结构还原。
DSP48乘加器
第15章
时钟网络还原
时钟树结构提取，时钟域划分，时钟使能逻辑还原，异步时钟处理。
时钟树时钟域
第16章
复位网络还原
全局复位网络提取，局部复位逻辑还原，异步复位同步释放识别。
复位异步复位
第17章
总线结构还原
总线协议识别，地址译码逻辑还原，数据通路分析，总线仲裁逻辑。
总线地址译码
第18章
接口逻辑还原
GPIO接口还原，DDR接口识别，SerDes接口分析，AXI总线协议还原。
GPIODDRAXI
第19章
层次化还原策略
顶层模块还原，子模块划分，模块间接口识别，层次化还原流程。
层次化模块
第20章
网表对比技术
网表等价性检查，网表差分分析，网表变更追踪，回归验证方法。
等价性差分
第21章
逻辑还原工具开发
Python网表解析库开发，网表图结构构建，逻辑还原算法实现。
Python工具
第22章
网表可视化
网表图形化展示，逻辑路径高亮，层次结构树展示，交互式网表浏览器。
可视化交互
第23章
大规模网表处理
分布式网表处理，网表分片策略，增量还原技术，内存优化方法。
分布式增量
第24章
网表安全分析
硬件木马检测，后门逻辑识别，冗余逻辑分析，安全漏洞扫描。
安全木马
第25章
IP核网表还原
第三方IP核网表分析，IP核功能还原，IP核接口提取，IP核保护机制绕过。
IP核逆向
第26章
网表优化与重构
网表面积优化，网表时序优化，网表功耗优化，网表逻辑重构。
优化重构
第27章
网表验证技术
仿真验证方法，形式化验证，FPGA原型验证，网表测试向量生成。
验证仿真
第28章
工程实践案例一
某通信算法网表还原实战，从网表到RTL代码的完整还原流程。
通信算法实战
第29章
工程实践案例二
某图像处理IP核网表分析，IP核功能提取与文档生成。
图像处理IP核
第30章
课程总结与进阶
网表提取与逻辑还原技术趋势，AI辅助逻辑还原，未来发展方向。
趋势AI