01
网表逆向工程概述
什么是网表逆向、应用场景（IC设计验证、竞争分析、安全审计）、行业现状与挑战。
概念应用
02
网表基础与格式解析
Verilog网表结构、EDIF格式、SPICE网表、Liberty库文件解析。
格式解析
03
环境搭建与工具链
Linux环境配置、Synopsys工具链（DC/PT）、开源工具（Yosys/Iverilog）安装与使用。
环境工具
04
网表解析实战
使用Python/Tcl脚本解析Verilog网表、提取模块层次、识别端口与连线。
脚本实战
05
逻辑综合基础
综合流程回顾、标准单元库理解、综合后的网表特征。
综合标准单元
06
门级网表结构分析
组合逻辑识别（AND/OR/NAND等）、时序单元识别（DFF/Latch）、特殊单元（MUX/ADD/COMP）。
门级识别
07
层次化网表展开
扁平化处理、层次边界消除、顶层模块构建。
层次展开
08
信号追踪与扇出分析
正向追踪、反向追踪、扇入扇出计算、关键路径识别。
追踪时序
09
等价性检查基础
逻辑锥概念、割集划分、组合逻辑等价性验证。
验证等价
10
形式化验证方法
BDD与SAT求解器基础、等价性检查工具（Formality）使用。
形式化BDD
11
时序路径分析
建立时间/保持时间检查、时序弧提取、时序报告解读。
时序STA
12
网表优化与重综合
冗余逻辑消除、面积优化、时序优化策略。
优化重综合
13
时钟网络分析
时钟树结构提取、时钟门控识别、时钟域划分。
时钟门控
14
复位网络分析
同步/异步复位识别、复位树结构、复位信号追踪。
复位结构
15
扫描链分析
扫描链结构识别、扫描使能信号追踪、测试模式理解。
DFT扫描
16
功耗网络分析
电源域划分、电平转换器识别、功耗估算方法。
功耗电源
17
模拟与混合信号网表
模拟单元识别、数字-模拟接口分析、混合信号仿真。
混合信号AMS
18
网表可视化技术
Graphviz生成层次图、时序路径可视化、关键模块高亮。
可视化Graphviz
19
脚本自动化（Python篇）
使用PyVerilog库解析网表、自动化提取模块信息、批量处理脚本。
PythonPyVerilog
20
脚本自动化（Tcl篇）
Tcl在DC/PT中的应用、自动化报告生成、网表修改脚本。
TclDC/PT
21
网表比对与差异分析
逐行比对、结构比对、功能比对方法。
比对差异
22
网表修复与ECO
工程变更单（ECO）流程、手动网表修改、自动ECO工具使用。
ECO修复
23
网表安全审计
硬件木马检测、后门电路识别、冗余逻辑分析。
安全木马
24
竞争分析实战
从网表提取设计意图、功能推测、工艺节点估计。
竞争推测
25
IP核逆向
数字IP核识别、协议接口分析、黑盒功能推测。
IP逆向
26
大规模网表处理策略
分布式处理、内存优化、增量式分析方法。
大规模优化
27
网表逆向工程项目管理
团队分工、里程碑设定、质量保证。
管理流程
28
案例实战1：简单计数器
从网表到RTL恢复，完整逆向流程。
计数器RTL
29
案例实战2：复杂状态机
状态提取、状态转移图恢复。
状态机FSM
30
案例实战3：完整芯片网表
从顶层到底层的全流程实战。
全流程芯片