Setup and hold slack move from positive through boundary to rejection. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Early data and late next change leave positive slack
The capture edge is fixed at 10 seconds. Data at 7 seconds and next change at 13 seconds give setup slack 1 s and hold slack 2 s.
ssetup=10+(−7)+(−2)=1s,shold=13+(−10)+(−1)=2s
Both timing windows can land exactly on the boundary
The capture edge is fixed at 10 seconds. Data at 8 seconds and next change at 11 seconds give setup slack 0 s and hold slack 0 s.
ssetup=10+(−8)+(−2)=0s,shold=11+(−10)+(−1)=0s
Late data makes setup slack negative
The capture edge is fixed at 10 seconds. Data at 9 seconds and next change at 11 seconds give setup slack -1 s and hold slack 0 s.