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. | 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. | |
3 | Set 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. | |
5 | Analyze your model to:
| |
6 | Generate the results. | |
7 | Interpret the results. |
See Also
Support Limitations for Stateflow Software Features | Support Limitations for Model Blocks