TimingConstraints::RepetitionConstraint

A RepetitionConstraint describes the distribution of the occurrences of a single event, including the allowance for jitter.<br/><br/>The RepetitionConstraint extends the basic notion of repeated occurrences by allowing local deviations from the ideal repetitive pattern described by a RepeatConstraint. Its jitter, lower and upper attributes all contribute to the width of the window in which occurrence number N is accepted, according to the formula N(upper-lower) + jitter. That is, with lower = upper, the uncertainty of where occurrence N may be found does not grow with an increasing N, unlike the case when lower differs from upper by a similar amount and jitter is 0. By adjusting all three attributes, a desired balance between accumulating and non-accumulating uncertainties can be obtained.<br/><br/>Semantics:<br/>A system behavior satisfies a RepetitionConstraint c if and only if<br/>the same system behavior concurrently satisfies<br/><br/>RepeatConstraint { event = X,<br/>lower = c.lower,<br/>upper = c.upper,<br/>span = c.span }<br/><br/>and<br/><br/>StrongDelayConstraint { source = X,<br/>target = c.event,<br/>lower = 0,<br/>upper = c.jitter }<br/>