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 Constraint Values
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	Run a Design Error Detection Analysis Workflow for Test Case Generation Workflow for Proving Model Properties
6	Generate the results.	Generate Analysis Results
7	Interpret the results.	Results Interpretation and Use