Main Content

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

Topics

Check Compatibility of a Model or Subsystem

Analyze a Model or Subsystem