Check that one signal is always less than another signal
Simulink / Model Verification
HDL Coder / Model Verification
The Check Dynamic Lower Bound block checks if a reference signal,
min, is less than the amplitude of an input signal,
u at each time step and executes an assertion after comparison.
If min is less than u, 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 signals can be scalars, vectors, or matrices. Both input signals must be the same data type. The block compares the value of u to the bound differently depending on the signal.
When comparing scalars to vectors or matrices, the block compares the scalar signal to each element of the non-scalar signal.
When comparing a vector or matrix signal to another vector or matrix signal, the block checks the signals element-by-element.
For models with an input and bound that are both vectors or matrices, the input and bound must have the same dimensions.
Data Types |
|
Direct Feedthrough |
|
Multidimensional Signals |
|
Variable-Size Signals |
|
Zero-Crossing Detection |
|
