Back_Annotation

反标（back-annotation）是为了进行时序分析，从外部文件读取延迟、电阻、电容值等到工具中。使用反标，可以在物理设计的每个阶段之后更加准确地分析电路地时序。

Overview of SDF Back-Annotation

为了初始化静态时序分析，PT基于线负载模型预估net delays。实际延迟取决于cells和nets的物理摆放和绕线。

floor planner或router可能提供更加详细和准确的延迟信息，可以提供给PT进行更加准确的分析，该过程被称为延迟反标。被提供的反标信息在SDF文件中。

可以以以下方式读取SDF反标延迟信息：

• 从SDF文件中读取延迟和时序检查。
• 不使用SDF格式，标注延迟，时序检查，和transition时间。

如果没有SDF文件，可以在一个包含电容和电阻参数标注命令的analyzer脚本文件中指定延迟。

Reading SDF Files

read_sdf命令从SDF文件中读取instance-specific pin-to-pin leaf cell和net时序信息，并且使用这些信息标注当前设计。

设计中instance的名称必须匹配时序文件中instance的名称。

读取SDF文件之后，PT包括以下信息：

• 读取SDF文件时发现的errors的数量（例如，在设计中不能找到pins）。
• 标注的延迟和时序检查的数量。
• 在SDF文件中找到的未支持的SDF结构，每个SDF结构发生的数量。
• SDF文件中发现的process、温度和电压值。
• 设计的标注延迟和时序检查。

Annotating Timing From a Subdesign Timing File

当指定-path选项时，read_sdf命令使用当前设计的subdesign创建的时序文件的信息标注当前设计。当指定subdesign时，不能使用到subdesign的端口的net延迟来标注当前设计。

Annotating Load Delay

负载延迟也被称为gate延迟的附加源，是驱动net的容性负载产生的cell延迟的一部分。一个延迟计算器考虑net延迟的负载延迟部分；其他的延迟计算器，考虑cell延迟的负载延迟部分。默认，read_sdf命令假设负载延迟被包含在cell延迟中。如果时序文件包括net延迟中的负载延迟而不是cell 延迟，使用-load_delay选项。

Annotating Conditional Delays From SDF

在SDF文件中指定的延迟和时序检查可以是有条件的。SDF条件通常是基于被标注的cell的一些输入的值的表达式。PT标注这些延迟的方式取决于Synopsys libray是否指定条件延迟。

• 如果Synopsys库包括条件弧，标注SDF文件中指定的所有条件延迟。Synopsys库中指定的条件字符串具有sdf_cond结构，必须匹配SDF文件中的条件字符串。
• 如果Synopsys库不包含条件弧，标注所有来自SDF的条件延迟的最大或最小延迟。为了指定是否标注最小或最大言辞，使用-cond_use max或-cond_use min选项。

PT使用SDF中指定的条件，仅将延迟和时序检查标注到Synopsys库中指定的适当时序弧，如果在SDF文件中有条件时序序，并且库被正确定义支持时序弧，可以使用case analysis来使能要求的条件弧值。

如果Synopsys库中不包括条件，SDF中的标注使用从A到Z的所有时序弧的worst-csde延迟。映射库中的时序弧对应到给定条件是不可能的。

如果Synopsys库包含条件，标注能够识别对应SDF条件的时序弧。