A specification says what the chip must do; a budget says what each part may spend doing it. Between the two sits the integrator's most leveraged work: converting every paragraph of the specification into a constraint with an owner and a number, finding the paragraphs that convert into nothing, and proving the numbers add up before anyone writes RTL. This topic teaches that conversion on NanoSoC, ending in a full requirement-to-budget trace that the rest of the course spends.

Suggested order: top to bottom. The method, then the hunting, then the trace that uses both. The trace is the reference the later sections draw on: when a lesson quotes 82.74 mW or 12.581 ms, this is where the number was earned.