Constraint Subtypes: Reinitialize State Variables

The state variable gets reinitialized to the reset value if the defined condition on the inputs is met.

Choose the state variable to be constrained.
  1. In the State name column, click the ... button.
    A list of the available state variables is shown.
  2. Double-click the desired state variable.


  3. Click OK.
Specify the reset condition.
  1. Click the Expression Builder icon.
    The Expression builder shows the variables and variable names for the expression.


  2. Enter the condition in the Expression box and include the name of the listed variable.
    Supported arithmetical operators can be included in the expression: (+ - * / ^), logical operators (| & ! ~), and relational operators ( > < >= <= == ~= <>). The expression must return a Boolean type.
  3. Specify the Reset Value.