Simulation Command Reference : Rational Statemate Actions

Rational Statemate Actions

The STATEMATE ACTIONS statement performs Rational Statemate actions.

Syntax:

exv_action

where exv_action is any legal Rational Statemate action
Actions may refer to both Rational Statemate elements and SCL objects.
Note: If the scope contains several elements with an identical name, precede its name with the name of the chart.
Example:
card_id := 12345 ; start(verification) ;
if a>b then tr!(c) end if