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
Version History
Introduced in R2011a
