建立时间
公式
$$
T_{lanuch}+T_{ck2q}+T_{dp}<T_{capture}+T_{cycle}-T_{setup}
$$
如果组合逻辑的延时最大值也满足这个公式，则所有都满足，通常用组合逻辑最大延时检查建立时间
使用组合逻辑最小延时检查保持时间
输入端口到寄存器
公式
$$
slack=T_{capture}+T_{cycle}-T_{setup}-T_{uncertainty}-(T_{lanuch}+T_{ck2q}+T_{dp})>0
$$
输出端口到寄存器
公式
$$
slack=T_{capture}+T_{cycle}-T_{setup}-T_{uncertainty}-T_{output_delay}-(T_{lanuch}+T_{ck2q}+T_{dp})>0
$$
保持时间
- 捕获路径边沿比发射路径边沿晚一个时钟周期
- 保持时间和时钟周期无关
- 保持时间不能计算频率，只能用建立时间去计算
公式
$$
T_{lanuch}+T_{ck2q}+T_{dp}>T_{capture}+T_{hold}
$$
建立时间和保持时间的区别
- 保持时间的检查边沿都是同一个边沿
- 建立时间的检查边沿捕获的边沿要比发射的边沿晚一个时钟周期
- 保持时间的检查通常在建立时间检查的前一个上升沿
