Main Content

Within Implies

Verify response occurs within desired duration

  • Within Implies block

Simulink Design Verifier / Temporal Operators


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


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.


expand all

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

Version History

Introduced in R2011a

See Also