blockEvaluateOver

Information

Syntax

y = CheckAtEnd (u = condition, tl = time_period, checkAtEnd);

Description

Each instance of this block creates a requirement that evaluates whether the condition u is satisfied (true) at the end of the time period tl (which can be a continuous or discrete time period). The condition is a Boolean4 that takes its values in the { true, false, undecided, undefined } set.

To create time locators, refer to the Periods block.

The value of a requirement is a Boolean4 that can be used as input of another Ensure block. It is therefore possible to express requirements on requirements.

Requirements can be combined using Boolean4 operators, refer to the Logical4 package.

The condition u can be generated by converting Boolean signals to Boolean4 signals with the block BooleanToBoolean4, or by using the output y of another Check, CheckInteger or CheckReal block.

Example

This block is demonstrated with the following example:

Connectors

Components