Check Static Lower Bound
Check that signal is greater than (or optionally equal to) static lower bound
- Library:
Simulink / Model Verification
HDL Coder / Model Verification
Description
TheCheck Static Lower Boundblock checks if an input signal is greater than (or optionally equal to) a specified lower bound at each time step and executes an assertion after comparison. TheLower boundparameter defines the lower bound. If the input signal is greater than the lower bound, the assertion istrue (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 input signal to a vector or matrix 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.
Ports
我nput
Output
Parameters
Model Examples
Block Characteristics
Data Types |
|
Direct Feedthrough |
|
Multidimensional Signals |
|
Variable-Size Signals |
|
Zero-Crossing Detection |
|
Extended Capabilities
See Also
Check Static Upper Bound|Check Dynamic Lower Bound|Check Dynamic Upper Bound|Check Dynamic Range