A time budget proposal is a set of timing properties that together express a proposed time budget over
an event chain. It is to be verified and validated if this proposal satisfies the overall delay) and other
solution-dependent constraints.
The information contained in the above shall include margins. Slack may or may not be explicit.
|