Checking Model Compatibility :: Ensuring Compatibility with the Simulink Design Verifier Software (Simulink® Design Verifier™)

Learn more about Simulink Design Verifier

Checking Model Compatibility

The Simulink Design Verifier software supports a broad range of Simulink and Stateflow software features. However, there are features that the product does not support. Therefore, you must avoid using particular features in models that you plan to analyze with the Simulink Design Verifier software.

The Simulink Design Verifier software automatically checks the compatibility of your model before it begins a test-generation or property-proving analysis.

In addition, you can run the same check before you start the analysis. To run this check, in the model window, select Tools > Design Verifier > Check Model Compatibility.

Alternatively, you can use the sldvcompat function to run the compatibility checker programmatically at the command line or in an M-file program. For more information, see the sldvcompat reference page.

There are three outcomes of a compatibility check:

Model Is Compatible

In the log window, you see if your model is compatible with the Simulink Design Verifier software.

Model Is Incompatible

If the model itself is incompatible with the software, for example, if it uses a variable-step solver, you see two dialog boxes:

Simulink Design Verifier log
Simulation Diagnostics Viewer. Use the information in this dialog box to identify and correct the incompatibility.

Some Model Elements Are Incompatible

If at least one element in the model is incompatible, a message appears in the Simulink Design Verifier log window. If you have turned on automatic stubbing, the analysis proceeds.