Capture and Timing Closure Audit

Edge Capture Updates State Only After a Passing Window

A passing setup-hold source lets the input replace prior state. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

A passing setup-hold source allows capture

The setup slack and hold slack are each 1 second, so the edge-capture check can update state.

ssetup=1 s,shold=1 ss_{\text{setup}}=1\ \text{s},\quad s_{\text{hold}}=1\ \text{s}
Passing capture sourceThe capture check cites the passing setup-hold source.period 8 sedges 4edge 1 at 8 slast 24 sedge 1 at 8 sdata 5 snext 10 ssetup slack 1 shold slack 1 sacceptededge 1D 1prior 0Q 1captured

Accepted capture rows copy input to output

The timing source stays accepted while input and prior state rows change.

DQoldQnewgate000capture101capture111capture\begin{array}{c|c|c|c}D&Q_{\text{old}}&Q_{\text{new}}&\text{gate}\\0&0&0&\text{capture}\\1&0&1&\text{capture}\\1&1&1&\text{capture}\\\end{array}

The input replaces the prior stored value

The prior stored value is 0, the input is 1, and the output becomes 1.

D=1,Qold=0,Qnew=1D=1,\quad Q_{\text{old}}=0,\quad Q_{\text{new}}=1
Captured stateThe output label is tied to the accepted source.period 8 sedges 4edge 1 at 8 slast 24 sedge 1 at 8 sdata 5 snext 10 ssetup slack 1 shold slack 1 sacceptededge 1D 1prior 0Q 1captured