靜態時序分析——單週期

一、建立時間的檢查 建立時間的檢查是指檢查電路里每一個觸發器的數據和時鐘的關係是否滿足建立時間的要求。 我們以上圖爲例進行建立時間檢查。由圖可知，我們主要針對第二個觸發器UFF1進行檢查。我們可以梳理時序關係如下： 通過這個圖，我們可以得到滿足建立時間需要達成以下目標 即我們之前說到的Setup slack = Data Required Time（setup） - Data Arrival Ti

>>阅读原文<<