門級仿真（Gate-Level Stimulation, GLS）

靜態時序分析（Static Timing Analysis, STA）在沒有激勵輸入的情況下分析通路中觸發器是否滿足建立時間和保持時間，靜態時序分析是採用窮盡分析方法來提取出整個電路存在的所有時序路徑，計算信號在這些路徑上的傳播延時，檢查信號的建立和保持時間是否滿足時序要求，通過對最大路徑延時和最小路徑延時的分析，找出違背時序約束的錯誤，由於可以比較準確地確定路徑的最小延時，靜態時序分析可以理論上

>>阅读原文<<