Within Implies

Verify response occurs within desired duration

Libraries:
Simulink Design Verifier / Temporal Operators

Description

The Within Implies block captures the within implication by observing whether the Obs input is true for at least one step within each true duration of the first input In. Whenever Obs is not detected within a particular input true duration, the output becomes false for one time step in the step that follows the input true duration.

True duration of a signal is defined as consecutive time steps during which a signal is true

Examples

Within Implies Block Example

In the following example, consider a sample time of 1 second.

Obs is not observed within the first true duration of In, so Out becomes false for one time step. Obs is observed within the second true duration of In, so Out is true. When there is no true duration of In, Out remains true.

If Obs occurs multiple times, it does not affect the output.

Parameters

expand all

External reset — specify whether the block can be reset
off (default) | on

Specify whether the block observation of Obs can be reset by an external Boolean reset signal.

Version History

Introduced in R2011a