Overview of the Simulink Design Verifier Workflow
Before you analyze a model for design error detection, test case generation, and property proving, you must complete a few steps as shown in this diagram:
The following sections provide a brief overview of the Simulink® Design Verifier™ workflow with links to related documentation in Simulink Design Verifier.
Check Model Compatibility
Before Simulink Design Verifier analyzes a model, the software checks whether the model is compatible for analysis. For more information on model compatibility, see Check Model Compatibility. The software runs a compatibility check on your model, and then creates a model representation. The model representation includes the model artifacts that you can use during analysis. The compatibility check tells you if your model is fully compatible, partially compatible, or not compatible.
Simulink supports a broad range of software capabilities in your models but there are some capabilities that Simulink Design Verifier does not support. For more information, see Supported and Unsupported Simulink Blocks in Simulink Design Verifier and Support Limitations for Simulink Software Features.
Apply Block Replacement Rules
If you want to work around the compatibility limitations in your model or customize model elements for analysis, you can use the Simulink Design Verifier block replacement rules. For more information, see What Is Block Replacement? and Block Replacements for Unsupported Blocks.
If you want to generate additional values for parameters in your model during analysis, use Simulink Design Verifier parameter configurations. See Parameter Configuration for Analysis for more information.
Set Simulink Design Verifier Options
You can set the Simulink
Design Verifier analysis options in the
Configuration Parameters dialog box. Alternatively, you can use the
sldvoptions function to specify the Simulink
Design Verifier options at the command line. For more information, see Simulink Design Verifier Options.
Perform Analysis on Model
You can analyze your model for:
Design Error Detection: Detect design errors that can occur at run time. For more information, see Analyze Models for Design Errors.
Test Case Generation: Generate test cases that achieve model coverage. For more information, see Workflow for Test Case Generation
Property Proving Analysis: Prove properties and identify property violations. For more information, see Workflow for Proving Model Properties.
If you plan to generate test cases or prove properties in your model, first run design error detection for integer overflow and division by zero. Refer to these topics for more information:
Generate Analysis Results
Once Simulink Design Verifier finishes analyzing the model, it displays the analysis highlights and the results options in the Results Summary window. For more information, see Generate Analysis Results.
Interpret Analysis Results
You can the review analysis results and generate analysis reports in the HTML, DOCX, or PDF format. For more information, see Review Analysis Results