時序收斂與靜態時序分析
到達時間(arrival time)
到達時間是資料訊號在電路某一點實際出現的時刻,從有效時脈邊緣起算——就像送貨卡車終於抵達你家門口時打的那個時間戳。STA 從每個起點往前傳播,沿途把每個閘與每段連線的延遲累加起來算出它。由於一個節點可能由多條路徑匯聚而來,工具會在做建立時間檢查時取最晚到達者,做保持時間檢查時取最早到達者。
它的搭檔是需求時間——資料必須在此期限前到達才能被安全擷取。整個時序分析的核心,就化約成比較這兩個數字:時序餘裕等於需求時間減去到達時間。若到達早於期限,餘裕為正,路徑無虞;若到達太晚,餘裕轉負,就出現需要修正的違規。
slack = required_time − arrival_time
到達時間總是以最小/最大成對給出,用來框住製程、電壓、溫度變異所造成的真實延遲分布——在真實矽製程角下,只給單一標稱數字會是危險的虛構。
又称
另见