The same delay chain passes, touches the boundary, then fails as period tightens. 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 ten-second period leaves two seconds of delay margin

The stage delays stay 1, 2, and 3 seconds. Period 10 seconds gives budget 8 seconds and slack 2 s.

10+(2)=8 s,8+(6)=2 s10+(-2)=8\ \text{s},\quad 8+(-6)=2\ \text{s}
Delay budget scanThe same path is checked against changing clock period.period 10 sedges 3edge 1 at 10 slast 20 sd1 1 sd2 2 sd3 3 stotal 6 srequired at 18 sbudget 8 sslack 2 saccepted

An eight-second period uses the whole delay budget

The stage delays stay 1, 2, and 3 seconds. Period 8 seconds gives budget 6 seconds and slack 0 s.

8+(2)=6 s,6+(6)=0 s8+(-2)=6\ \text{s},\quad 6+(-6)=0\ \text{s}
Delay budget scanThe same path is checked against changing clock period.period 8 sedges 3edge 1 at 8 slast 16 sd1 1 sd2 2 sd3 3 stotal 6 srequired at 14 sbudget 6 sslack 0 saccepted

A seven-second period makes the same path fail

The stage delays stay 1, 2, and 3 seconds. Period 7 seconds gives budget 5 seconds and slack -1 s.

7+(2)=5 s,5+(6)=1 s7+(-2)=5\ \text{s},\quad 5+(-6)=-1\ \text{s}
Delay budget scanThe same path is checked against changing clock period.period 7 sedges 3edge 1 at 7 slast 14 sd1 1 sd2 2 sd3 3 stotal 6 srequired at 12 sbudget 5 sslack -1 srejected