Detect and Address Run-Time Errors
Detect hidden design errors in your model, such as integer overflows or division by zero, early in the verification process. Perform design error detection analysis, review the analysis results, generate counterexamples to debug unintended functionalities, and then fix the identified design errors.
Functions
sldvextract | Extract subsystem or subchart contents into new model for analysis |
sldvoptions | Create Simulink Design Verifier options object |
sldvrun | Analyze model |
sldvreport | Generate Simulink Design Verifier report |
sldvmakeharness | Generate harness model |
Topics
- Derived Ranges in Design Error Detection
Explains the concepts of design ranges and derived ranges with regard to design error detection.
- Model Advisor Checks for Analysis
Describes Model Advisor checks for Simulink® Design Verifier™ analysis.
- Detect Non-Finite, NaN, and Subnormal Floating-Point Values
Detect floating-point values in your model before simulation.
- Detect Defects Using Optimized Checks
Detect common and critical design errors such as division by zero, integer overflow, dead logic, and array out of bounds in your model by using Defect Checker. (Since R2024b)
- Detect Integer Overflow and Division-by-Zero Errors
An example showing how to identify design errors in your model and review analysis results.
- Detect Out of Bound Array Access Errors
Detect out of bound array access errors in your model before simulation.
- Detect Data Store Access Violations
Detect data store access violations in your model.
- Detect Violations of High-Integrity Systems Modeling Guidelines
Detect violations of High-Integrity Systems Modeling Guidelines in your model.
- Detect Design Errors in C/C++ Custom Code
An example showing how to detect design errors in custom C/C++ code.
- Use Parameter Configuration in Analysis
Parameter configuration for Simulink Design Verifier analysis.
- Use Parameter Table to Find Constraints
An example of how to specify parameters as variables for analysis.
- Set Parameters Using Parameter Configuration File
Describes how to define parameter configurations in MATLAB® code files.
- Import and Export Parameter Constraints
An example on how to import and export specified parameter constraints to and from the Parameter Table.
- Using Command Line Functions to Support Changing Parameters
Generate test data by using command line functions that uses different parameter values.
- Debug Integer Overflow Design Error Detection Using Model Slicer
This example shows how to use Model Slicer to debug integer overflow design errors in a Simulink® model.
- Inspect Dead Logic with Model Slicer
This example shows you how to investigate the possible causes for the dead logic that occurs.
- Detect Integer Overflow in a Model with Complex Inputs
This example shows how to detect integer overflow errors in a model that consists of complex type inputs.
- Exclude and Justify Objectives for Design Error Detection
This example shows how to exclude a model object from Simulink® Design Verifier™ analysis by using a coverage filter file.
Featured Examples
Detect Design Errors in AUTOSAR Software Component Model
Perform unit-testing to detect design errors in an AUTOSAR component.
Manage Requirements and Advanced Model Checks
The how to identify potential gaps in model compliance by identifying missing requirements links, running standard and custom model checks, and performing design error detection analysis.
