靜態時序分析
静态时序分析是采用穷尽分析方法来提取整个电路存在的所有时序路径,计算信号在这些路径上的传播延时,检查信号的建立时间和保持时间是否满足时序要求,通过对最大路径延时和最小路径延时的分析,找出违背时序约束的错误。它不需要输入向量就可以穷尽所有的路径,且运行速度很快,占用内寸较少,不仅可以对芯片设计进行全面的时序功能检查,而且还可利用时序分析的结果来优化设计,因此静态时序分析已经越来越多地被用到数字集成电路设计验证中
动态时序分析
动态时序模拟就是通常的模拟仿真,因为不可能产生完备的测试向量,覆盖门级网表中的每一条路径。因此在动态时序分析中,无法暴露出一些路径上存在的时序问题。