Design error detection is a Simulink® Design Verifier™ analysis mode that detects the following types of errors:
Dead logic
Integer or fixed-point data overflow
Division by zero
Intermediate signal values that are outside the specified minimum and maximum values
Out of bound array access
Data store access violations
Specified block input range violations
Before you simulate your model, analyze your model in design error detection mode to find and diagnose these errors. Design error detection analysis determines the conditions that cause the error, helping you identify possible design flaws. Design error detection analysis also computes a range of signal values that can occur for block outports and Stateflow® local data in your model.
After the analysis, you can:
Click individual blocks to view the analysis results for that block.
Create a harness model containing test cases that demonstrate the errors.
Create an analysis report that contains detailed results for the entire model.
Design Verifier Pane: Design Error Detection | Run a Design Error Detection Analysis