靜態時序分析是一種驗證方法，其基本前提是同步邏輯設計（異步邏輯設計需要制定時鐘相對關系和最大路徑延時等，這個后面會說）。靜態時序分析僅關注時序間的相對關系，而不是評估邏輯功能（這是仿真和邏輯分析干的活！）。無需用向量（激勵）去激活某個路徑，分析工具會對所有的時序路徑進行錯誤分析，能處理百萬門級的設計，分析速度比時序仿真工具塊幾個數量級。