Dead Logic Detection

Find nonfunctional logic, inactive execution paths

Functions

`sldvextract`	Extract subsystem or subchart contents into new model for analysis
`sldvoptions`	Create design verification options object
`sldvrun`	Analyze model
`sldvreport`	Generate Simulink Design Verifier report

What Is Design Error Detection?
Explains the design error detection analysis option.
Dead Logic Detection
Describes the two analysis modes for dead logic detection in Simulink^® Design Verifier™.
Common Causes for Dead Logic
Describes several scenarios that results in dead logic.
Analyzing the Results for a Dead Logic Analysis
This example demonstrates how to isolate potential causes of dead logic using the sldvexCommonCausesOfDeadLogic model.
Detect Dead Logic Caused by an Incorrect Value
Example showing how to find an incorrect input specification using a dead logic result.
Design Verifier Pane: Design Error Detection
Specify options that control how Simulink Design Verifier detects runtime errors in the models it analyzes.
Simulink Design Verifier Options
Overview of the Simulink Design Verifier options in the Configuration Parameters dialog box.
Simulink Design Verifier Reports
Describes the different parts of a Simulink Design Verifier report.
Simulink Design Verifier Data Files
Describes the contents of a Simulink Design Verifier data file.