静态时序分析与动态时序分析

静态时序分析（static timing analysis, STA) 

 通过分析每个时序路径的延时，计算设计中各项时序性能指标，仅仅用于时序性能的分析，并不涉及逻辑功能，根据给定的工作条件（PVT）的时序库.lib文件计算信号在这些路径的传播延时，根据最大路径延时和最小路径延时找出违背时序约束的错误。逻辑功能验证需要通过仿真和形式验证进行。

动态时序仿真（dynamic timing analysis, DTA)

主要用于验证设计在器件实际延时情况下的逻辑功能。给定仿真输入信号波形，模拟设计在器件实际工作时的功能和延时，分为晶体管级和门级仿真，由动态时序仿真报告无法得到时序性能指标。