hold slack的计算

1、前言

Hold分析与Setup是紧密相关的，要依据Setup的选择确定Launch和Latch。每个setup检查前后两个Latch，以保证前一个Latch不会采样当前Launch打出的数据。用简单的时间先后即可把该情况排除。

2、选择用于分析HoldTime的Launch和Latch的依据

选择时间差最小的一对Launch和Latch，注意该Latch不一定是该Launch对应的Latch；即两者不一定是有同一个setup联系起来的。例如图中的Hold Check A2。理解这点的关键是，在某Latch之后的tHD时间内，Launch是不应该发生的，否则数据就冲突了；反推之，在下一个Launch与当前Latch的时间差内，HoldTime应该得到满足。

3、计算

可以这样理解Arrival Time和Required Time：

Arrival Time与Launch有关；Required Time与Latch有关；

Arrival Time可理解为“最早可能出现在”；

Required Time可理解为“最晚可能保持到”。

 

还有与Port相关的Hold Time：

6-7中，把Output Minimum Delay加到Arrival Time中就容易理解了。