時序檢查

時序分析有若干種類型。建立（setup）和保持（hold）是兩種普通類型的時序分析，具體分析時也常常叫做時序檢查（timing check）。根據要求，同步信號的終點（例如，寄存器數據輸入D端）相對於時鐘輸入的關係，時序庫必須提供時序檢查setup和hold的定義。時序檢查則規定，相對於時鐘輸入信號，在它發生改變之前與之後，輸入的數據必須分別保持某個穩定的時間間隔，它們就是setup和hold（圖1）。

Setup的定義為：在時鐘作用前沿（或後沿）到達前，同步輸入信號（D）必須保持穩定的那段時間以使信號不至於丟失。Hold的定義為：在時鐘作用前沿（或後沿）到達後，同步輸入信號（D）必須保持穩定的那段時間以使信號不至於丟失。由於時鐘信號是連續的，為了便於分析，通常將圖1中與setup和hold的定義參考點的時鐘信號，即當前時鐘叫做時鐘信號的第二個週期（相對於圖中的第一個時鐘週期信號）。這種處理叫做相位移動（phase shift）。

如果時鐘信號到達寄存器R帶有定位（set）和復位（reset），這時對set信號也要做類似於setup的相應檢查，它是用“恢復（recovery）”來表示的。同樣，對reset信號還要做類似於hold的相應檢查，它是用“消除（removal）”來表示的（圖2） ^[1]  。