Check that one signal is always greater than another signal
Simulink / Model Verification
HDL Coder / Model Verification
The Check Dynamic Upper Bound block checks if the a reference signal,
max, is greater than the amplitude of an input signal,
u, at each time step and executes an assertion after
comparison. If max is greater 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 max 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 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 |
|
