Assertion - Check whether signal is zero - Simulink (original) (raw)
Main Content
Check whether signal is zero
Libraries:
Simulink / Model Verification
HDL Coder / Model Verification
Description
The Assertion block checks whether any of the elements of the input signal are 0. If all of the elements are nonzero, the assertion istrue (1) and the block does nothing. If not, the block halts the simulation and returns an error message by default.
Examples
Ports
Input
Input signal to the assertion check.
Data Types: half | single | double | int8 | int16 | int32 | int64 | uint8 | uint16 | uint32 | uint64 | Boolean | fixed point | enumerated
Parameters
Clearing this parameter disables the block and causes the model to behave as if the block does not exist. To enable or disable all verification blocks, regardless of the setting of this option, go to the Configuration Parameters window, click > , expand the Advanced parameters section, and setModel Verification block enabling to Enable all or Disable all.
Programmatic Use
| Parameter: enabled |
|---|
| Type: string scalar or character vector |
| Values: "on" | "off" |
| Default: "on" |
Specify a MATLAB® expression to evaluate when the assertion fails. Because the expression is evaluated in the MATLAB workspace, define all variables used in the expression in that workspace.
Dependencies
To enable this parameter, select Enable assertion.
Programmatic Use
| Parameter: AssertionFailFcn |
|---|
| Type: string scalar or character vector |
| Default: '' |
Select this parameter to stop the simulation when the check fails. Clear this parameter to display a warning and continue the simulation.
Programmatic Use
| Parameter: stopWhenAssertionFail |
|---|
| Type: string scalar or character vector |
| Values: "on" | "off" |
| Default: "on" |
Specify the time interval between samples. To inherit the sample time, set this parameter to -1. For more information, see Specify Sample Time.
Dependencies
This parameter is visible only if you set it to a value other than-1. To learn more, see Blocks for Which Sample Time Is Not Recommended.
Programmatic Use
To set the block parameter value programmatically, use the set_param function.
| Parameter: | SampleTime |
|---|---|
| Values: | "-1" (default) | scalar or vector in quotes |
Block Characteristics
| Data Types | Boolean | double | fixed point | half | integer | single |
|---|---|---|---|---|---|
| Direct Feedthrough | no | ||||
| Multidimensional Signals | yes | ||||
| Variable-Size Signals | no | ||||
| Zero-Crossing Detection | no |
Extended Capabilities
For information about how Simulink® Coder™ generated code handles Model Verification blocks, see Configure Model for Debugging (Simulink Coder).
Not recommended for production code.
HDL Coder™ provides additional configuration options that affect HDL implementation and synthesized logic.
HDL Architecture
| Architecture | Description |
|---|---|
| No HDL | Do not generate HDL code for this block. |
HDL Block Properties
| PreserveUpstreamLogic | Control the removal of unconnected logic. The default is off, which means unconnected logic is not preserved in HDL code. For more details, see PreserveUpstreamLogic (HDL Coder). |
|---|
Version History
Introduced before R2006a