A buffered logic handoff passes only when source and group currents all fit the same output limit. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Direct fanout multiplies one input current
Every input load draws the same model current, so direct fanout is checked by multiplying load count by input current.
Itotal=N⋅Iin
Three direct rows show below, equal, and over limit
The input current and output limit stay fixed. The load count alone moves the total current from pass, to equality, to fail.
A buffer tree can still fail if one group is too large
The failed buffered row has the same total load count as the passing buffered row, but its first group exceeds the limit. Splitting is useful only when every stage passes.