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.
A time budget proposal must contain the following information:
-
Overall time delay
-
Time budget segments with delays
The sum of all segment delays may not exceed the overall delay.
The information contained in the above shall include margins. Slack may or may not be explicit.
|