時序收斂與靜態時序分析

需求時間(required time)

需求時間是「期限」——訊號被允許到達某節點、仍能被正確擷取的最晚時刻,就像郵局關門前你能把報稅表寄出的最後一秒。到達時間是從起點往前推算的,需求時間則是從終點往回推算:工具從擷取端正反器出發,把建立時間與任何時脈不確定性從到來的時脈邊緣中扣除,再把這個期限往邏輯上游推。

需求時間與到達時間在每個節點正面相遇,兩者之差即為時序餘裕。對建立時間(最大延遲)檢查而言,需求時間基本上是時脈週期減去建立時間;對保持時間(最小延遲)檢查則翻轉成下限——資料到達不得早於某地板值,以免舊資料在被鎖存前就被覆寫。輸入/輸出延遲,以及假路徑、多週期等例外約束,正是用來重塑這些需求時間的旋鈕。

required_time(setup) ≈ T_clk − t_setup − clock_uncertainty

一個微妙的陷阱:需求時間取決於擷取時脈,而非發射時脈——對於跨越兩個時脈領域或兩個時脈邊緣的路徑,找對擷取邊緣就等於把時序算對了一半。

又稱
required arrival timeRAT