逆向工程中的EDA工具应用

📚 共计 30 章节

EDA工具概述与逆向工程基础

介绍EDA工具（Cadence、Synopsys、Mentor Graphics）在芯片设计中的作用，以及逆向工程的基本概念、法律边界和伦理问题。

概念法律伦理

芯片制造流程与EDA工具链

从RTL设计到GDSII的完整流程，讲解逻辑综合、布局布线、物理验证等环节中EDA工具的角色。

流程GDSII工具链

硬件描述语言（HDL）与网表

Verilog/VHDL基础，综合后的门级网表结构，以及如何从网表中提取功能信息。

VerilogVHDL网表

逻辑综合与优化

Synopsys Design Compiler的使用，综合策略，面积与速度的权衡，以及如何从综合结果反推设计意图。

静态时序分析（STA）

PrimeTime工具的使用，时序路径分析，建立时间与保持时间，以及如何通过STA发现设计弱点。

PrimeTime时序STA

形式化验证

等价性检查（Formality），模型检查，以及如何利用形式化方法验证逆向提取的网表是否正确。

Formality等价性验证

物理设计：布局规划与电源网络

IC Compiler/Innovus的布局规划，电源网络设计，以及从物理布局中识别功能模块。

布局电源ICC

时钟树综合（CTS）

时钟树的结构与优化，时钟偏差（Skew）分析，以及如何从时钟树推断芯片的同步策略。

布线（Routing）与寄生参数提取

详细布线算法，RC提取，以及寄生参数对时序和功能的影响。

物理验证：DRC与LVS

Calibre/ICV的使用，设计规则检查，版图与电路图一致性检查，以及如何绕过或识别硬件木马。

可制造性设计（DFM）与OPC

光学邻近效应校正，分辨率增强技术，以及从版图中识别DFM特征。

芯片解剖与延迟层

化学机械抛光（CMP），延迟层技术，以及如何通过物理延迟层隐藏电路功能。

CMP延迟层隐藏

扫描链与可测试性设计（DFT）

扫描链插入，边界扫描，以及如何利用DFT结构进行逆向分析。

DFT扫描链边界扫描

内建自测试（BIST）

存储器BIST，逻辑BIST，以及BIST控制器对逆向工程的挑战。

BIST存储器控制器

硬件木马与安全检测

木马类型（触发型、功能型），侧信道分析，以及EDA工具在木马检测中的应用。

木马侧信道安全

光罩（Mask）数据与GDSII格式

GDSII数据结构，分层设计，以及如何从GDSII中提取电路信息。

GDSII光罩分层

版图到网表的逆向提取

使用工具（如NetTran、IC Reverse）从版图中提取晶体管级网表，以及提取过程中的常见问题。

NetTran提取晶体管

晶体管级网表到门级网表的映射

晶体管级网表的逻辑提取，标准单元库的匹配，以及如何重构门级网表。

映射标准单元重构

模拟与混合信号电路的逆向

模拟电路（运放、比较器、PLL）的识别，混合信号接口的分析。

模拟PLL混合信号

存储器（SRAM/DRAM/ROM）的逆向

存储阵列的识别，译码电路分析，以及如何读取存储内容。

总线协议与接口逆向

AMBA总线（AHB/APB/AXI），SPI/I2C/UART接口，以及从网表中识别总线结构。

状态机（FSM）提取

从网表中提取有限状态机，状态转移图重建，以及FSM在逆向中的作用。

FSM状态机提取

数据通路分析

加法器、乘法器、移位器的识别，数据流分析，以及如何重构数据通路。

数据通路加法器乘法器

加密与解密电路的逆向

AES、RSA等加密模块的识别，密钥存储位置分析，以及硬件加速器的逆向。

时序电路与计数器分析

触发器、锁存器、计数器、分频器的识别，以及时序逻辑的逆向方法。

触发器计数器时序

功耗分析与热管理

功耗估计工具（PrimePower），热仿真，以及从功耗分布推断电路活动。

功耗PrimePower热仿真

电磁兼容性（EMC）与信号完整性

信号完整性分析工具，串扰分析，以及从EMC角度发现隐藏电路。

EMC信号完整性串扰

开源EDA工具与脚本自动化

Yosys、Icarus Verilog、OpenROAD等开源工具的使用，Tcl/Python脚本自动化逆向流程。

YosysOpenROAD脚本

机器学习在EDA逆向中的应用

基于机器学习的网表分类、功能识别、木马检测，以及未来趋势。

机器学习分类木马检测

综合案例：从GDSII到RTL的完整逆向工程实战

一个完整的逆向项目流程，包括工具链搭建、数据提取、功能重建与验证。