Perform Design Error Detection Analysis
Perform design error detection analysis for the selected errors after you detect defects using the Defect Checker. For this model, you detect run-time errors including division-by-zero errors and integer and fixed-point data overflow errors.
Analyze Model for Design Errors
Open the model sldvexDetectDesignErrorsExample.
On the Design Verifier tab, clear Defect checker.
Open Configuration Parameters dialog box. On the Design Verifier > Design Error Detection pane, verify that Integer overflow and Division by zero are selected.
Click Apply and OK to save the changes.
On the Design Verifier tab, click Detect Design Errors.
The software analyzes the model for design errors and displays the results in the Results Summary window. The results indicate that three out of six objectives were falsified.
Next, review the results of the design error detection analysis.
