门级仿真（Gate-Level Stimulation, GLS）

静态时序分析（Static Timing Analysis, STA）在没有激励输入的情况下分析通路中触发器是否满足建立时间和保持时间，静态时序分析是采用穷尽分析方法来提取出整个电路存在的所有时序路径，计算信号在这些路径上的传播延时，检查信号的建立和保持时间是否满足时序要求，通过对最大路径延时和最小路径延时的分析，找出违背时序约束的错误，由于可以比较准确地确定路径的最小延时，静态时序分析可以理论上

>>阅读原文<<