静态时序分析(static timing analysis, STA)
通过分析每个时序路径的延时,计算设计中各项时序性能指标,仅仅用于时序性能的分析,并不涉及逻辑功能,根据给定的工作条件(PVT)的时序库.lib文件计算信号在这些路径的传播延时,根据最大路径延时和最小路径延时找出违背时序约束的错误。逻辑功能验证需要通过仿真和形式验证进行。
动态时序仿真(dynamic timing analysis, DTA)
主要用于验证设计在器件实际延时情况下的逻辑功能。给定仿真输入信号波形,模拟设计在器件实际工作时的功能和延时,分为晶体管级和门级仿真,由动态时序仿真报告无法得到时序性能指标。