原创 【博客大赛】SOC感悟----保持时间图文解析

4、保持时间时序路径逐个解析

Hold可以理解为最小的delay需求。

有图可以得到如下公式

Tlaunch + T + Tck2q + Tdp >= Tcapture + T + Thold

也就是：Tck2q + Tdp + Tlaunch – Tcapture >= Thold

所以delay不能太小，否则不能满足hold的要求，另外hold和周期也没有关系，所以和jitter也就没有关系（在同一个沿分析的）。

1）DFF->DFF之间Hold 的检查和setup的检查类似，如下图，是两个DFF之间的hold检查。

注意hold_slack的计算时间也是   -(required time – arrival time)，后者大其实是代表hold满足条件，也就是数据的最小延时使数据的边沿推到了hold边界的后面。

2）input->DFF之间Hold 的检查和setup的检查类似，如下图。

3）DFF->output之间Hold 的检查和setup的检查类似，如下图。

4）input->output之间Hold 的检查和setup的检查类似，如下图