From the
Functional & Logical Designapp,
the
Model Check command allows you to check a model
before its virtual execution.
From the
tree
or from the 2D representation, activate a function or
logical component containing
a behavior.
Warning:
All the representations that are aggregated to
the
functional or
logical reference must be
loaded. If one representation is not loaded, the check fails and an error
message appears.
From the
Behaviors section of the
action bar,
click
Model Check
.
The check is performed.
The
Messages Reporting dialog box appears to
display the check result from the
Simulation tab.
Select a message to display more information in the lower section
of the dialog box.