slack 的值通常用来表示设计是否满足时序要求。同样有setup slack 和 hold slack ,如果slack 的值为正,则表明设计可以满足setup / hold time 要求,反之不满足。
Setup slack = Data Required Time(setup) - Data Arrival Time
若setup slack 为正,表示Data Required Time 在Data Arrival Time之后,则一定满足setup time 。反之,则不满足setup time。
Hold slack = Data Arrival Time - Data Required Time (hold)
(这里的Data Arrival Time = latch edge[next launch time] + Tco +Tdata)
若hold slack 为正,表示Data Arrival Time 在Data required Time 之后,则一定满足hold time。反之