時序收斂與靜態時序分析
有效偏斜(useful skew)
有效偏斜是一種技巧:刻意延遲或提前特定正反器的時脈,讓一條吃緊的路徑能向有餘裕的鄰居「借」時間。想像一支接力隊,其中一棒選手較慢:你讓他早一點起跑、晚一點交棒,從兩側較快的兩棒偷時間。把擷取時脈稍微往後偏斜,一條苦撐的建立路徑就能多得幾皮秒;代價由下游路徑承擔,它現在少了一點。
工具會在時脈樹合成期間或之後自動套用有效偏斜,把它當作橫跨整個時脈網路的最佳化問題求解,讓總餘裕被重新分配而非浪費。它是後期時序收斂最強力的槓桿之一——完全不改邏輯就能救回一條路徑——但有其極限:借得太兇可能讓出借端路徑的保持時間崩潰,而一連串偏斜還會累積時脈不確定性,所以它是外科手術式地施用,而非大手筆揮霍。
setup_slack_new = setup_slack_old + Δskew_capture
有效偏斜與時間借用是從兩個角度解同一個問題:偏斜移動正反器處的時脈邊緣,時間借用則利用鎖存器的透明窗口——兩者本質上都是移動期限,而非加快邏輯。
又称
另见