Check that signal is less than (or optionally equal to) static upper bound
Simulink / Model Verification
HDL Coder / Model Verification
The Check Static Upper Bound block checks if an input signal is less
than (or optionally equal to) a specified lower bound at each time step and executes an
assertion after comparison. The Upper bound parameter defines the
upper bound. If the input signal is less than the upper bound, the assertion is
true (1)
and the block does nothing. If not, the block halts the
simulation and returns an error message by default.
The input signal and bound can be scalars, vectors, or matrices. The input and the bound must be the same data type. The block compares the value of the input to the bound differently depending on the signal.
When comparing scalars to vectors or matrices, the block compares the scalar to each element of the non-scalar input signal or bound.
When comparing a vector or matrix signal to a vector or matrix upper bound, the block compares the input signal to the bound element-by-element.
For models with an input signal and bound that are both vectors or matrices, the input signal and bound must have the same dimensions.
Data Types |
|
Direct Feedthrough |
|
Multidimensional Signals |
|
Variable-Size Signals |
|
Zero-Crossing Detection |
|
Check Dynamic Lower Bound | Check Dynamic Range | Check Dynamic Upper Bound | Check Static Lower Bound