Learn more about Simulink Design Verifier

sldvcompat - Check model for compatibility with analysis

Syntax

status = sldvcompat(model) status = sldvcompat(block) status = sldvcompat(subsystem, options) status = sldvcompat(model, options, showUI, startCov)

Description

status = sldvcompat(model) returns a status of 1 if model is compatible with Simulink Design Verifier software. Otherwise, sldvcompat returns 0.

status = sldvcompat(block) converts the Simulink block into a temporary model and checks the compatibility of that model with Simulink Design Verifier software. After the compatibility check, sldvcompat closes the temporary model.

status = sldvcompat(subsystem, options) checks the subsystem specified by model for compatibility with the Simulink Design Verifier software using the sldvoptions object options.

status = sldvcompat(model, options, showUI, startCov) checks the compatibility of the model with Simulink Design Verifier software. If showUI is true, errors appear in the Simulation Diagnostics Viewer. Otherwise, errors appear at the MATLAB command line. The analysis ignores all model coverage objectives satisfied in startCov, a cvdata object.

Examples

Check the sldvdemo_flipflop model to see if it is compatible with Simulink Design Verifier software:

sldvdemo_flipflop
status = sldvcompat('sldvdemo_flipflop')

Alternatives

To check the compatibility of a model, in the Model Editor window, select Tools > Design Verifier > Check Model Compatibility to check if a model is compatible with the Simulink Design Verifier software.

To check the compatibility of a subsystem, right-click the subsystem and select Check Subsystem Compatibility.