Check Model Compatibility for Analysis

Before Simulink^® Design Verifier™ analyzes a model, the software checks whether the model is compatible for analysis. The model is compatible for analysis when:

• The model is compiled into an executable form.

• The model is compatible with code generation.

• The model performs zero-second simulation with no errors, that is the simulation start and stop time is 0.

The software supports a broad range of Simulink and Stateflow^® software capabilities in your models. However, there are capabilities that the product does not support, described in Limitations of Simulink Design Verifier for Simulink Software Features and Limitations of Simulink Design Verifier with Stateflow Features.

For more information on supported Simulink blocks, see Unsupported Simulink Blocks in Analysis.

Run Compatibility Check

Before the software begins an analysis, it checks the compatibility of your model, and then creates a model representation. The model representation includes the model artifacts that are used during analysis. For more information, see Reuse Model Representation for Analysis.

Before you start an analysis, you can run a compatibility check on your model by using one of these methods. When you use any of these methods, the model representation is always rebuilt.

• On the Design Verifier tab, in the Analyze section, click Check Compatibility.

• In the Model Advisor, select either By Product > Simulink Design Verifier > Check compatibility with Simulink Design Verifier or By Task > Simulink Design Verifier Compatibility Check > Check compatibility with Simulink Design Verifier. Click Run This Check.

  For more information, see Model Advisor Checks for Analysis.

• To run the compatibility check programmatically at the command line or in a MATLAB^® program, use the sldvcompat function. For more information, see sldvcompat.

• To check compatibility of a subsystem, right-click the subsystem and add the Design Verifier app options to the menu by pointing to Select Apps and clicking the Design Verifier button . Then, from the Design Verifier app section, click the Check Subsystem Compatibility button . If your subsystem is virtual, convert the virtual subsystem to atomic subsystem and check the compatibility of the subsystem. To covert the virtual subsystem to atomic subsystem, right-click the virtual subsystem and select Is Atomic.

Compatibility Check Results

When you run a compatibility check on a model, the Results Summary window displays one of these results:

• Model Is Compatible

• Model Is Incompatible

Model Is Compatible

If your model is compatible, you can continue with the analysis in the Results Summary window. For example, to continue the test generation analysis, click Generate Tests.

Note

After you have completed the compatibility check, if you change the model, you cannot continue the analysis in the Results Summary window. If you change your model, rerun the compatibility check for analysis.

Model Is Incompatible

If the model is incompatible with Simulink Design Verifier, you can identify and fix the incompatibilities through the Diagnostic Viewer messages. For more information, see Systematic Diagnosis of Errors and Warnings.

• If your model uses a variable-step solver, configure the solver Type to Fixed-step.

  

• If your model has nonfinite data, change the value of the data or configure the model so that the data is treated as a variable during Simulink Design Verifier analysis. For more information, see Limitations of Simulink Design Verifier for Simulink Software Features.

  

If your model is large and contains many subsystems, you can use the Test Generation Advisor to determine whether certain subsystems cause the incompatibility. For more information, see Use Test Generation Advisor to Identify Analyzable Components.