Check that one signal is always greater than another signal
Simulink / Model Verification
HDL Coder / Model Verification
TheCheck Dynamic Upper Boundblock 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. Ifmaxis greater thanu, 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 signals can be scalars, vectors, or matrices. Both input signals must be the same data type. The block compares the value ofutomax根据不同的信号。
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 |
|