网表逆向与硬件IP核保护破解实战

📚 共计 30 章节

网表逆向基础

什么是网表？在IC设计流程中的位置、逆向动机与法律边界。

网表格式解析

EDIF、Verilog网表、SPICE网表格式对比与解析工具。

EDIFVerilogSPICE

逻辑综合与网表生成

从RTL到门级网表流程、综合工具(DC/Yosys)输出产物。

网表结构分析

模块层次、实例化、信号连接、端口映射识别方法。

标准单元库识别

常见工艺库(TSMC/SMIC)单元特征、功能单元匹配。

工艺库AND/OR/DFF

组合逻辑提取

从网表中提取与或非门网络、布尔表达式还原。

时序逻辑提取

触发器(DFF)、锁存器(Latch)识别与状态机还原。

网表图形化

使用Graphviz、NetlistViz将网表转为可视化结构图。

Graphviz可视化

网表比较技术

差分网表分析、等价性检查(Formal Verification)基础。

差分等价性

硬件木马检测

网表级木马特征、静态分析与动态仿真结合方法。

木马静态动态

IP核保护技术概览

硬件IP核资产价值、常见保护手段(混淆/水印/加密)。

混淆水印加密

逻辑混淆原理

插入冗余逻辑、状态机混淆、可编程点混淆(EPIC/SARLock)。

SAT攻击与反制

SAT求解器在逻辑解锁中的应用、Anti-SAT技术原理。

网表级水印技术

基于约束添加的水印、公钥水印的嵌入与提取。

物理不可克隆函数(PUF)

PUF原理、网表级PUF实现与破解思路。

侧信道分析入门

功耗分析(DPA)、电磁分析(EMA)在IP破解中的应用。

网表逆向工具实战

Yosys脚本编写、ABC工具的逻辑优化与逆向。

Python网表解析

使用Python解析Verilog网表、构建内部数据结构。

网表重综合技术

将逆向网表重新综合，恢复高层次结构。

重综合恢复

有限状态机(FSM)还原

从网表中提取状态转移表、状态编码分析。

FSM状态编码

数据通路分析

加法器、乘法器、MUX网络的识别与功能推断。

存储器结构识别

SRAM、ROM、寄存器文件的网表特征与提取。

时钟网络分析

时钟树、门控时钟、异步时钟域的网表识别。

时钟树门控

扫描链与测试结构

DFT扫描链的网表特征与移除技术。

网表优化与等价变换

冗余消除、常数传播、重定时(Retiming)对逆向的影响。

硬件Trojan网表级检测

基于机器学习(GNN)的异常检测方法。

GNN异常检测

IP保护破解实战案例

某商用IP核的网表逆向与逻辑还原全过程。

反逆向技术

网表级混淆强度评估、抗SAT混淆设计实践。

法律与伦理

硬件逆向合规性、知识产权保护法、安全研究免责。

课程总结与未来趋势

AI辅助网表逆向、同态加密硬件、后量子IP保护。