Prepare Model for Design Error Detection Analysis
Prepare the model for design error detection analysis by checking model compatibility and configuring design error detection analysis settings.
Configure Model Settings
Configure model setting to prepare the model for design error detection.
1. Open the model sldvexDetectDesignErrorsExample.
open_system("sldvexDetectDesignErrorsExample");
2.On the Apps tab, click the arrow on the right of the Apps section. Under Model Verification, Validation, and Test, click Design Verifier.
3. On the Design Verifier tab, in the Prepare section, click Error Detection Settings.
4. In the Configuration Parameters dialog box, on the Diagnostics > Data Validity pane, set Wrap on overflow, Saturate on overflow, and Detect overflow to error.
5. Click Apply and OK to save the changes.
Check Model Compatibility
When you analyze a model, Simulink Design Verifier performs a compatibility check first. The model is compatible for the analysis when compiles with no errors. If your model is not compatible, the software cannot analyze it.
You can check the compatibility of model before the analysis. In the Simulink Editor, on the Design Verifier tab, click Check Compatibility. The Simulink Design Verifier Results Summary window shows that the model is compatible for analysis.
If the model is incompatible with Simulink Design Verifier, the Diagnostic Viewer displays messages about the incompatibilities and how to fix them. For more information, see Handle Incompatibilities with Automatic Stubbing and Systematic Diagnosis of Errors and Warnings.
