The same arrival can pass, touch the edge, or fail as setup requirement grows.

The same arrival can pass, touch the edge, or fail as setup requirement grows. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

One-second setup rule leaves two seconds slack

Edge stays at 10 s and data stays at 7 s. Setup requirement 1 s gives setup slack 2 s, so the gate is pass.

ssetup=10−7−1=2 ss_{\text{setup}}=10\mathord{-}7\mathord{-}1=2\ \text{s}
Setup requirement scanOnly the required setup window is changed.period 10 sedges 3edge 1 at 10 slast 20 sedge 1 at 10 sdata 7 snext 12 ssetup slack 2 shold slack 1 saccepted

Three-second setup rule lands on the boundary

Edge stays at 10 s and data stays at 7 s. Setup requirement 3 s gives setup slack 0 s, so the gate is pass.

ssetup=10−7−3=0 ss_{\text{setup}}=10\mathord{-}7\mathord{-}3=0\ \text{s}
Setup requirement scanOnly the required setup window is changed.period 10 sedges 3edge 1 at 10 slast 20 sedge 1 at 10 sdata 7 snext 12 ssetup slack 0 shold slack 1 saccepted

Four-second setup rule rejects the same arrival

Edge stays at 10 s and data stays at 7 s. Setup requirement 4 s gives setup slack -1 s, so the gate is reject.

ssetup=10−7−4=−1 ss_{\text{setup}}=10\mathord{-}7\mathord{-}4=\mathord{-}1\ \text{s}
Setup requirement scanOnly the required setup window is changed.period 10 sedges 3edge 1 at 10 slast 20 sedge 1 at 10 sdata 7 snext 12 ssetup slack -1 shold slack 1 srejected