01
网表逆向概述
什么是网表逆向 · 应用场景（芯片安全/竞品分析/IP核验证）· 挑战
概念入门
02
网表基础回顾
标准单元库 · 层级结构（顶层/模块/实例）· 连接关系（线网/端口/引脚）
基础结构
03
时序基础回顾
组合逻辑与时序逻辑 · 建立/保持时间 · 时钟周期与路径延迟
时序STA
04
关键路径概念
什么是关键路径 · 重要性 · 在逆向中的特殊意义
核心逆向
05
静态时序分析(STA)入门
STA基本流程 · 时序弧与延迟计算 · 工具简介
STA流程
06
网表解析技术
文件格式(Verilog/SPICE/EDIF) · 解析工具与库 · 构建内部图结构
解析数据
07
图论基础
有向图与无向图 · 拓扑排序 · DFS与BFS
算法图
08
路径枚举算法
穷举法 · 分支限界法 · 基于DFS的路径枚举
枚举搜索
09
路径排序与筛选
按延迟排序 · 按逻辑深度筛选 · 按扇出扇入筛选
排序筛选
10
延迟计算模型
线性延迟模型 · NLDM · 电流源模型(CCS/ECSM)
模型延迟
11
工艺角与PVT
工艺角概念 · 不同工艺角延迟变化 · 最差情况分析
PVT工艺
12
时钟网络分析
时钟树结构 · 时钟偏斜(Skew) · 时钟抖动(Jitter)
时钟时序
13
伪路径与多周期路径
什么是伪路径 · 如何识别 · 多周期路径处理
伪路径约束
14
片上变异(OCV)
OCV概念 · 对关键路径的影响 · 分析方法
OCV变异
15
先进延迟计算
AOCV · POCV · 统计静态时序分析(SSTA)
AOCVSSTA
16
关键路径提取工具
开源(OpenSTA/iVerilog) · 商业(Synopsys PrimeTime/Cadence Tempus)
工具生态
17
脚本化提取
Tcl脚本基础 · Python脚本基础 · 自动化提取流程
脚本自动化
18
大规模网表优化
图分区技术 · 并行计算 · 内存管理策略
优化高性能
19
路径可视化
Graphviz绘图 · 自定义可视化 · 交互式路径浏览器
可视化Graphviz
20
案例分析1：加法器网表
简单加法器网表的关键路径提取
案例加法器
21
案例分析2：状态机网表
复杂状态机网表的关键路径提取
案例FSM
22
案例分析3：存储器接口
存储器接口网表的关键路径提取
案例存储器
23
案例分析4：CPU核心网表
CPU核心网表的关键路径提取
案例CPU
24
逆向工程中的特殊挑战
网表不完整 · 单元库缺失 · 工艺信息未知
挑战逆向
25
机器学习在关键路径预测
特征工程 · 模型训练 · 预测精度评估
ML预测
26
硬件木马检测
基于关键路径的异常检测 · 木马触发路径分析
安全木马
27
IP核验证
通过关键路径比对验证IP核一致性
IP验证
28
竞品分析
从关键路径推断设计策略与工艺节点
竞品分析
29
未来趋势
AI辅助逆向 · 自动化逆向流程 · 新型器件影响
趋势前沿
30
课程总结与项目实战
综合项目：从网表到关键路径报告的全流程实现
实战总结