Basic Workflow for Simulink Design Verifier

The basic workflow for analyzing your model is described in the following steps, with links to related documentation.

Step	Action	See...
1	Check the compatibility of your model.	Check Model Compatibility For more information on supported blocks and features, see Supported and Unsupported Simulink Blocks in Simulink Design Verifier and Support Limitations for Simulink Software Features.
2	If you want to work around compatibility limitations in your model or customize model elements for analysis, you can use Simulink® Design Verifier™ block replacement rules. If you want to generate additional values for parameters in your model during analysis, use Simulink Design Verifier parameter configurations.	What Is Block Replacement? Parameter Configuration for Analysis
3	Set Simulink Design Verifier options.	Simulink Design Verifier Options
4	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.	What Is Design Error Detection? Detect Integer Overflow and Division-by-Zero Errors
5	Analyze your model to: Detect design errors Generate test cases Prove properties	Analyze Models for Design Errors Workflow for Test Case Generation Workflow for Proving Model Properties
6	Generate the results.	Generate Analysis Results
7	Interpret the results.	Review Analysis Results