Analyze Model or Subsystem

Prepare model or subsystem for analysis, run analysis

Use Simulink® Design Verifier™ to guide the design process as you build your model. Check the compatibility of an existing model. Work around compatibility limitations in your model or customize model elements for analysis. Run design error detection and generate test cases or prove properties in your model.

Functions

sldvcompatCheck model for compatibility with analysis
sldvextractExtract subsystem or subchart contents into new model for analysis
sldvisactiveVerify updating of a block diagram
sldvoptionsCreate design verification options object
sldvtimerIdentify, change, and display timer optimizations
sldvrunAnalyze model
sldvexporttoversionExports a data file for use in a previous version of Simulink Design Verifier (Since R2024a)

Topics

Analyze a Model or Subsystem