目录
上篇一起学习了STA环境的建立,本篇就接着上篇,开始学习时序验证的核心知识,真正开始时序的验证……
1、建立时间检查
满足以下的数学关系,以满足建立时间检查的要求:(逻辑连接图见第一张图)
其中,Tlaunch 、Tcapture、Tcycle、Tsetup、Tck2q 是固定的,只有 Tdp 可以通过优化设计进行改动的。
时序报告分析查看:
1、触发器之间路径
逻辑和时序如下:
目录
上篇一起学习了STA环境的建立,本篇就接着上篇,开始学习时序验证的核心知识,真正开始时序的验证……
满足以下的数学关系,以满足建立时间检查的要求:(逻辑连接图见第一张图)
其中,Tlaunch 、Tcapture、Tcycle、Tsetup、Tck2q 是固定的,只有 Tdp 可以通过优化设计进行改动的。
时序报告分析查看:
逻辑和时序如下: