Main Content

Static Run-Time Error Detection

Prove absence of and diagnose the run-time errors before simulation.

Functions

sldvextractExtract subsystem or subchart contents into new model for analysis
sldvoptionsCreate design verification options object
sldvrunAnalyze model
sldvreportGenerate Simulink Design Verifier report
sldvmakeharnessGenerate harness model

Topics