A data-arrives-before-the-setup-window-closes ledger checks whether data reaches the latch early enough before the selected clock edge. The stated 8 s edge, 5 s data arrival, 2 s setup window, and 1 s setup slack are exact only for the ideal timing-row model. Real timing closure adds clock skew, jitter, PVT variation, delay distributions, metastability risk, probe calibration, finite precision, and measurement uncertainty.
Setup and hold both pass when their slack values are nonnegative. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Data must arrive before the setup window closes
The selected edge is at 8 seconds, and data arrives at 5 seconds.
8s+(−5s)+(−2s)=1s
Passing rows keep both slacks nonnegative
Each row recomputes setup and hold slack from arrival and next-change times.