【附录C SPEF】静态时序分析圣经翻译计划

本文由知乎赵俊军授权转载，知乎主页为https://www.zhihu.com/people/zhao-jun-jun-19

本附录将介绍标准寄生参数提取格式(SPEF)，它是IEEE Std 1481标准的一部分。

C.1 基础

SPEF允许以ASCII交换格式描述设计的寄生信息(R，L和C)。用户可以读取和检查SPEF文件中的值，尽管用户永远不会手动创建此文件。它主要用于将寄生信息从一个工具传递到另一个工具。图C-1显示了SPEF可以由诸如布局布线工具或寄生参数提取工具之类的工具生成，然后交由时序分析工具用于电路仿真或执行串扰分析。

寄生参数可以在许多不同的层次上表示。SPEF支持分布式(distributed)网络模型、(reduced)简化网络模型和(lumped)集总电容模型。在分布式网络模型(D_NET)中，网络走线的每段都有其自己的R和C。在简化网络模型(R_NET)中，在网络的负载引脚上考虑一个简化的R和C，而在网络的驱动引脚上考虑一个π模型(C-R-C)。在集总电容模型中，仅为整个网络指定一个电容。图C-2显示了物理网络走线的一个示例，图C-3显示了分布式网络模型，图C-4显示了简化的网络模型，图C-5显示了集总电容模型。

互连寄生效应取决于工艺，SPEF支持最佳(best-case)、典型(typical)和最差(worst-case)三种情况。允许R、L和C值、端口压摆和负载使用此三种不同情况下的值。

通过提供一个包含网络名称和实例名称映射到索引的一个名称映射(name map)，可以有效地减小SPEF文件的大小，更重要的是，所有较长名称仅出现在一个位置。

设计的SPEF文件可以拆分为多个文件，也可以分层。

C.2 格式

SPEF文件的格式如下：

header_definition包含了基本信息，例如SPEF版本号、设计名称以及R，L和C的单位。name_map指定了网络名称和实例名称到索引的映射。power_definition声明了电源网络和地网络。external_definition定义了设计的端口。define_definition中指出了SPEF还在其它文件中进行了描述的那些实例。internal_definition包含的是文件的核心——设计的寄生参数。

图C-6显示了header_definition的示例：

SPEF name 指定了SPEF的版本号；

DESIGN name 指定了设计的名称；

DATE string 指定了创建文件时的时间戳；

VENDOR string 指定了用于创建SPEF的供应商工具；

PROGRAM string 指定了用于生成SPEF的程序；

VERSION string 指定了用于创建SPEF的程序的版本号；

DESIGN_FLOW string string string . . . 指定了在什么阶段创建SPEF文件。它描述了有关SPEF文件的信息，这些信息无法通过读