setup slack检查

1、判定原则

最近Edge原则。

对某Latch来说，在它之前并且离它最近的一个时钟沿即认为是Launch。取其中差值最小的做setup time分析。如图：

这里取setup B

2、计算

考虑最坏的情况，required延迟取最小值，arrival延迟取最大值。