时序检查:建立时间和保持时间
文章来源于课程.
1. Setup timing check
1.1 FF to FF Path
建立时间检查
Tlaunch + Tck2q + Tdp < Tcycle - Tsetup - Tcapture
- 起点:UFF0->UFF1
- Path Group:按照路径终点划分
- path type : max 等式左边用最大
- Point:路径上的点; incr:每个点自己的延时增量 ;Path: 路径累计延迟
- data arrival time
- capture 时序 data required time
- slack >= 0 满足时序要求
1.2 Input to FF Path
- 已经约束input_delay
- 建立虚拟时钟
1.3 FF to Output Path
set_load
没有setup_delay
1.4 Input to Output Path
T - input_delay - output_delay
2. hold timing check
- hold time 与时钟无关
2.1 FF to FF
时钟的同一个边沿
Tlaunch+Tck2q+Tdp > Tcapture + Thold
下一个数据来之前,当前数据不能变
用最小,即下一个数据最快到达的时间
EDA工具内部定义,hold slack>0
2.2 Input to FF Path
2.3 FF to Output Path
2.4 Input to output Path