本文接著解析SDF3.0的Timing Checks Entries、Timing Environment Entries兩個部分。

（一）SDF3.0 Timing Checks主要分以下兩種：

VCS/NC-Verilog后仿真在timing violation時報出warning;

Timing Sign-Off工具報出timing check violations；

以時序分析工具Sign-Off為主，后仿為輔，SDF3.0 Timing Checks具體的類型如下：

Setup Timing Check

Hold Timing Check

SetupHold Timing Check

注意，示例中~reset必須為真(Ture),timing check才會進行，此外，12是建立時間要求，9.5是保持時間要求。

Recovery Timing Check

Removal Timing Check

Recovery/Removal Timing Check

示例中，recovery time為1.5個time unit，removal time為0.8個time unit。

Skew Timing Check

Width Timing Check

示例中，第一個minimum pulse width檢查是posedge clock驅動的high phase；第二個minimum pulse width檢查是negedge clock驅動的low phase；

Period Timing Check

示例中，兩個連續上升沿之間或兩個連續下降沿之間的最小Cycle時間。

No Change Timing Check

示例中，addr提前write下降沿4.5個time unit, addr晚于write上升沿3.5個time unit。

（二）SDF3.0 Timing Environment Entries

SDF3.0 Timing Environment Entries分成Constraints與Timing Environment兩個部分，首先解析Constraints。

1.Constraints

首先，SDF3.0 Timing Environment包括以下幾類constraints：

a）Path Constraint 針對timing analysis中發現的關鍵路徑添加的約束，PR工具可以利用這些約束優化physical design，該約束指定路徑的最大延時； 如下圖， y.z.i3是path起點，a.b.o1是path終點，25.1是起點和終點之間的maximum rise delay，15.6是起點和終點之間的maximum fall delay。

b）Period Constraint

時鐘樹上common clock到其驅動的leaf cell的路徑的最大延遲約束。

c）Sum Constraint

顧名思義，指的是幾條路徑的延時之和。示例中，約束兩條net的延時之和小于67.3個time unit。

d）Skew Constraint

SDF3.0 Timing Environment Entries分成Constraints與Timing Environment兩個部分，上文解析了Constraints，現在解析Timing Environment。Timing Environment包含以下4點約束

a）Arrival Time

b）Departure Time

c）Slack Time

d）Waveform Specification

審核編輯：劉清