The basic workflow for analyzing your model is described in the following steps, with links to related documentation.
Check the compatibility of your model.
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.
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.
Set Simulink Design Verifier options.
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.
Analyze your model to:
Generate the results.
Interpret the results.