Mini wiki
动态时序验证
编辑
动态时序验证是指对
专用集成电路
的一种验证过程,它被用来检查电路是否能够以足够快的速率在指定的时钟频率下正常。将用于
集成电路
逻辑综合
的设计文件进行
计算机仿真
,动态时序验证得以进行。该过程与
静态时序分析
相对应,后者与动态时序验证有着相似的目标,但是它并不需要对集成电路的实际功能进行仿真。
1