Verify response occurs within desired duration
Simulink Design Verifier
Temporal Operators Terminology
True duration of a signal — Consecutive time steps during which a signal is true
The Within Implies block captures the within implication by
observing whether the
Obs input is
at least one step within each
true duration of
the first input
not detected within a particular input true duration, the output becomes
one time step in the step that follows the input
The Within Implies block has only one user-specified parameter:
- External reset
Specify whether the block observation of
Obscan be reset by an external Boolean reset signal.
In the following example, consider a sample time of
Obs is not observed within the first
one time step.
Obs is observed within the second
When there is no
Obs occurs multiple times, it does not
affect the output.