Zero Slack Is Still a Passing Boundary - Electronic Circuits XII: Clocks, Latches, and Timing Closure Step by Step

The training convention accepts equality at both windows. 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 deterministic boundary accepts zero slack

Data at 6 seconds and next change at 9 seconds put both markers on the boundary.

s_{\text{setup}}=0\ \text{s},\quad s_{\text{hold}}=0\ \text{s}

Zero and positive slack rows are accepted

The boundary row has no margin; the contrast rows add margin on one side.

\begin{array}{c|c|c}s_{\text{setup}}&s_{\text{hold}}&\text{gate}\\0\ \text{s}&0\ \text{s}&\text{pass}\\1\ \text{s}&0\ \text{s}&\text{pass}\\0\ \text{s}&1\ \text{s}&\text{pass}\\\end{array}

Zero is not extra margin, but it still passes here

Both slack labels are 0 seconds, and the checked status is accepted.

\text{accepted bit}=1