3. 输入文件解析

Redhawk作为业界领先的功耗与信号完整性分析平台，其分析精度与输入数据的完整性和准确性直接相关。在数字后端流程中，Redhawk需要读取一系列标准格式文件，以构建完整的芯片功耗分析环境。这些文件分别描述了电路连接关系、寄生参数、时序约束、物理几何信息、工艺电气特性以及开关活动率。理解每种文件的格式规范、数据来源及其在Redhawk内部的作用机制，是进行高效、准确功耗分析的前提。本章将逐一拆解这些核心输入文件，并给出实战中的检查要点。

3.1 门级网表（Gate-Level Netlist）

核心原理

门级网表是芯片逻辑设计的物理实现结果，由综合工具（如Design Compiler）或布局布线工具（如Innovus）输出。它描述了标准单元、宏单元（Memory、IP）以及它们之间的电气连接关系。在Redhawk中，网表不仅用于识别逻辑连接，更重要的是用于构建电源网络（Power Network）的连接关系——即每个单元实例的电源引脚（VDD/VSS）如何连接到电源环、电源条和电源网格上。

文件格式与关键内容

• 格式：通常为Verilog (.v) 或 VHDL (.vhd) 格式，也可能是二进制加密格式（如 .vgz）。
• 关键元素：模块声明（module）、实例（instance）、网络（net）、引脚连接（pin connection）。
• 电源感知：现代网表包含电源引脚定义（如 VDD、VSS），Redhawk通过 get_cells 和 get_nets 命令解析这些连接。

操作流程与检查要点

1. 网表完整性检查：使用 check_netlist 命令验证是否存在悬空引脚、短路或开路。
2. 电源地连接确认：确保所有标准单元的电源引脚均已连接到电源网络，否则会导致IR-Drop分析时出现“浮空”单元。
3. 层次化处理：对于包含多个子模块的设计，需确认Redhawk能正确展开层次（flatten）或保持层次（hierarchical）分析。

常见误区

• 误区1：忽略网表中的电源引脚定义，导致Redhawk无法识别电源网络，分析结果为零。
• 误区2：直接使用综合后的网表（未经布局布线）进行功耗分析，此时缺少物理信息，无法进行IR-Drop分析。

3.2 SPEF（Standard Parasitic Exchange Format）

核心原理

SPEF文件由布局布线工具根据实际版图提取寄生参数生成，包含互连线（interconnect）的电阻（R）、电容（C）以及耦合电容（CC）信息。Redhawk使用SPEF来计算信号网络的翻转功耗（动态功耗）以及电源网络的寄生电阻，从而评估IR-Drop。

文件格式与关键内容

操作流程与检查要点

1. 提取模式：确认SPEF是使用 min、typ 还是 max 工艺角提取，Redhawk分析时应与SDC约束保持一致。
2. 电源网络SPEF：Redhawk需要电源网络的寄生参数，通常由工具自动从DEF中提取，但若SPEF中包含电源网络（如 *P_NET），则优先使用SPEF。
3. 节点映射：确保SPEF中的节点名称与网表中的网络名称一致，否则Redhawk会报“unmatched net”错误。

案例拆解：SPEF不匹配导致IR-Drop异常

背景：某芯片设计在Redhawk分析时，发现VDD网络IR-Drop高达15%，远超5%的设计目标。初步排查：检查网表与DEF均无异常。关键数据：对比SPEF中的电源网络电阻值，发现与版图提取报告相差10倍。分析过程：进一步检查发现，SPEF是由早期版图提取的，而DEF是ECO后的最新版图，两者节点不匹配。解决方案：重新提取SPEF，并确保与DEF版本一致。结果：IR-Drop降至3.8%。复盘：版本管理是后端数据一致性的核心，建议在Redhawk脚本中增加文件MD5校验。

3.3 SDC（Synopsys Design Constraints）

核心原理

SDC文件定义了设计的时序约束，包括时钟定义、输入/输出延迟、 false path、 multicycle path 等。在Redhawk中，SDC主要用于两个目的：一是计算信号翻转率（toggle rate）和静态概率（static probability），二是定义时钟网络的活动属性，从而影响动态功耗计算。

关键SDC命令与功耗关系

• create_clock：定义时钟周期，Redhawk据此计算时钟网络功耗。
• set_clock_transition：设置时钟转换时间，影响短路功耗。
• set_input_transition / set_load：影响输入引脚的翻转功耗。
• set_case_analysis：固定某些信号为常量，Redhawk会将其视为静态信号，不计算翻转功耗。

操作流程

1. 在Redhawk中通过 read_sdc 命令加载SDC。
2. 使用 report_switching_activity 查看Redhawk根据SDC推断出的默认翻转率。
3. 若SDC中未定义时钟，Redhawk会使用默认值（如1GHz），导致功耗估算偏差。

3.4 DEF/LEF（Design Exchange Format / Library Exchange Format）

核心原理

LEF文件是工艺库的物理抽象，包含标准单元的高度、宽度、电源引脚位置、金属层定义等。DEF文件是设计的物理实现，包含单元的实际放置位置（placement）、布线（routing）、电源网络（power mesh）的几何形状。Redhawk通过LEF识别单元的物理尺寸和电源引脚位置，通过DEF构建电源网络的几何拓扑，从而进行精确的IR-Drop和电迁移（EM）分析。

文件对比

操作流程与检查要点

1. LEF版本一致性：确保LEF与网表中使用的单元库版本一致，否则可能出现单元尺寸不匹配。
2. DEF中的电源网络：Redhawk优先使用DEF中的 SPECIALNETS 部分来提取电源网络。若DEF中未定义，则需通过 create_power_grid 命令手动构建。
3. 单元间距：检查DEF中是否有单元重叠（overlap），这会导致Redhawk提取的电源电阻异常。

3.5 工艺库（TLU+）

核心原理

TLU+（Tech LEF and UTM）是Synopsys的寄生参数文件格式，包含金属层的电阻率、介电常数、厚度等工艺参数。Redhawk使用TLU+来计算电源网络的电阻和电容，以及信号网络的寄生参数。与SPEF不同，TLU+是工艺库级别的描述，而SPEF是设计实例级别的提取结果。

关键参数

• 金属层电阻：单位方块电阻（Ω/sq），直接影响IR-Drop。
• 通孔电阻：不同金属层之间的连接电阻。
• 介电常数：影响电容计算，进而影响动态功耗。

操作流程

1. 在Redhawk中通过 set_tlu_plus_files 命令指定TLU+文件路径。
2. 确认工艺角（如 typical、worst）与SPEF提取条件一致。
3. 使用 check_tlu_plus 验证文件完整性。

3.6 功耗模型（VCD/SAIF）

核心原理

VCD（Value Change Dump）和SAIF（Switching Activity Interchange Format）文件记录了设计中信号节点的翻转活动。VCD是基于事件驱动的，记录了每个节点的翻转时刻；SAIF是基于统计的，记录了每个节点的翻转次数和静态概率。Redhawk使用这些数据来计算动态功耗，比SDC推断的默认翻转率更精确。

文件对比

操作流程与选择建议

1. VCD使用场景：需要分析特定时间段（如唤醒、突发传输）的功耗峰值时，使用VCD。
2. SAIF使用场景：进行长时间平均功耗分析时，SAIF更高效。
3. 数据对齐：确保VCD/SAIF中的信号名称与网表中的网络名称一致，否则Redhawk会忽略不匹配的信号。

3.7 文件一致性检查与总结

在Redhawk中，所有输入文件必须保持逻辑与物理的一致性。以下是一份推荐的检查清单：