第01章
总线协议逆向概述
什么是总线协议逆向、应用场景(固件逆向、硬件安全、IP盗版分析)、网表级逆向的挑战。
逆向基础概念
第02章
数字电路基础回顾
组合逻辑与时序逻辑、寄存器传输级(RTL)与网表的关系、时钟与复位信号识别。
数字电路RTL
第03章
常见总线协议概览
APB、AHB、AXI、Wishbone、OCP 的基本特征对比。
总线对比协议族
第04章
网表解析工具入门
Verilog/VHDL 网表结构、使用 Yosys 进行网表综合与可视化、Netlist 的层次化结构。
Yosys工具链
第05章
信号追踪基础
从顶层端口开始追踪、利用信号名和实例名推断功能、扇入扇出分析。
信号追踪扇入扇出
第06章
握手信号识别
Valid-Ready 握手协议的本质、在网表中寻找 Valid 和 Ready 信号、超时与重试机制。
握手Valid-Ready
第07章
地址译码逻辑逆向
地址译码器的结构(比较器、MUX)、地址映射表的恢复、从网表中提取地址区间。
地址译码映射
第08章
数据通路分析
多路选择器(MUX)网络、数据寄存器的位宽与对齐、字节使能(Byte Enable)信号的识别。
数据通路MUX
第09章
状态机(FSM)提取
从网表中提取状态寄存器、状态转移图的恢复、利用工具(如 FSMExtractor)辅助分析。
FSM状态提取
第10章
APB 协议逆向实战
APB 信号集(PSEL、PENABLE、PADDR、PWDATA、PRDATA)、状态机分析、从网表中还原 APB 从设备接口。
APB实战
第11章
AHB 协议逆向实战
AHB 信号集(HADDR、HWDATA、HRDATA、HTRANS、HSEL)、流水线传输分析、从网表中还原 AHB 主/从设备。
AHB流水线
第12章
AXI4 协议逆向(一)
AXI 通道分离(读地址、读数据、写地址、写数据、写响应)、通道握手信号分析。
AXI4通道
第13章
AXI4 协议逆向(二)
突发传输(Burst)逻辑识别、地址递增与回绕模式、数据交织与乱序处理。
Burst乱序
第14章
AXI4 协议逆向(三)
原子访问(Locked/Exclusive)逻辑、QoS 与用户自定义信号、从网表中还原 AXI 互联结构。
原子访问互联
第15章
Wishbone 协议逆向
Wishbone 经典握手(STB_ACK)、共享总线与点对点连接、从网表中识别 Wishbone 接口。
WishboneSTB_ACK
第16章
OCP 协议逆向
OCP 核心信号(MCmd、MAddr、MData、SData)、线程与标签(Thread/Tag)识别。
OCP线程
第17章
自定义/私有总线协议逆向
无标准握手时的推断方法、基于时序模式的协议猜测、利用仿真验证假设。
私有协议推断
第18章
中断与异常处理逆向
中断控制器(GIC/INTC)的网表结构、中断号与优先级逻辑、向量表基址的提取。
中断GIC
第19章
DMA 控制器逆向
DMA 引擎的寄存器接口、描述符链(Descriptor Chain)逻辑、传输粒度与通道识别。
DMA描述符
第20章
时钟域与异步桥接
多时钟域识别、异步 FIFO 与同步器结构、跨时钟域握手协议分析。
时钟域异步
第21章
电源管理接口逆向
电源门控(Power Gating)信号、唤醒与睡眠协议、电压调节接口(如 DVFS)。
电源管理DVFS
第22章
调试接口逆向(JTAG/SWD)
JTAG TAP 控制器状态机、边界扫描链(BSDL)分析、从网表中提取调试寄存器。
JTAG调试
第23章
安全机制逆向
安全总线(如 TrustZone)的隔离逻辑、安全与非安全状态切换、加密引擎的接口识别。
安全TrustZone
第24章
网表到 RTL 的等价性检查
形式化验证方法(EC)、使用 SymbiYosys 进行等价性检查、验证逆向结果的正确性。
等价性SymbiYosys
第25章
自动化脚本编写(Python)
使用 PyVerilog 解析网表、自动化信号搜索与模式匹配、生成协议结构报告。
PythonPyVerilog
第26章
大规模网表分析策略
层次化分解、关注点分离、增量式逆向、团队协作与版本管理。
大规模策略
第27章
案例研究一:APB 定时器外设
逆向一个简单的 APB 定时器外设。
案例APB
第28章
案例研究二:AHB-to-APB 桥接器
逆向一个 AHB-to-APB 桥接器。
案例桥接
第29章
案例研究三:AXI 视频处理管线
逆向一个带有 DMA 的 AXI 视频处理管线。
案例视频
第30章
总结与进阶
常见陷阱与误区、推荐工具链与资源、从逆向到正向设计的思维转变。
总结进阶