Capture and Timing Closure Audit

Timing Closure Audit Cites Every Source

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=1 s,shold=1 ss_{\text{setup}}=1\ \text{s},\quad s_{\text{hold}}=1\ \text{s}
Timing audit sourcesThe audit includes pass and fail source chains.period 8 sedge 1setup slack 1 shold slack 1 sdelay 6 schain slack 0 slatch capturedcapture yesaccepted

The delay chain closes with zero slack

The delay total is 6 seconds and the chain slack is 0 seconds.

6 s,schain=0 s6\ \text{s},\quad s_{\text{chain}}=0\ \text{s}
Timing audit delayThe delay and chain-slack labels cite the delay source.period 8 sedge 1setup slack 1 shold slack 1 sdelay 6 schain slack 0 slatch capturedcapture yesaccepted

Timing closure is accepted only after every source agrees

The latch captures, the edge capture succeeds, and the final accepted bit is 1.

accepted bit=1\text{accepted bit}=1
Timing closure auditEvery final label is tied to a checked source.period 8 sedge 1setup slack 1 shold slack 1 sdelay 6 schain slack 0 slatch capturedcapture yesaccepted