Checking a Model

From the tree or from the 2D representation, activate a function or logical component containing a behavior.

Tips:

You can activate any node of the model (root node or leaf node), the complete model is checked.
In case of multiple behaviors, you must select one or more behaviors to be used for the check. Also read Selecting a Behavior in a Multi-Behavior Model.

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.

Important: The Model Check command checks the following aspects:

Structure: Checks that every instance or port or interface name is unique, for example.
Topology: Checks that every port and interface is connected, that there is no loop in the model, for example.
Execution properties: Checks that the values are valid, for example.
Ports mapping: Checks that every behavior port and interface is connected, for example.
Behavior: Checks that the behavior can be compiled.

Select a message to display more information in the lower section of the dialog box.