The final timing-closure decision is a source-bound ledger that traces the accepted bit back through setup slack, hold slack, delay chain, and capture edge. The passing case has setup slack 1 s, hold slack 1 s, delay total 6 s, chain slack 0 s, and accepted bit 1 exactly for the ideal clock and delay model; real timing adds jitter, skew, metastability, PVT variation, duty-cycle distortion, aperture uncertainty, routing delay, and timing measurement uncertainty.
The final timing decision is a source-bound ledger. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The audit cites both passing and failing timing sources
The passing setup and hold slacks are each 1 second, while the contrast cases stay rejected.
ssetup=1s,shold=1s
The delay chain closes with zero slack
The delay total is 6 seconds and the chain slack is 0 seconds.
6s,schain=0s
Timing closure is accepted only after every source agrees
The latch captures, the edge capture succeeds, and the final accepted bit is 1.