sldvcompat

Check model for compatibility with analysis

collapse all in page

Syntax

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

Description

example

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

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

status = sldvcompat(subsystem, options) checks the subsystem specified by subsystem for compatibility with Simulink Design Verifier software by 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 Diagnostic Viewer. Otherwise, errors appear at the MATLAB® command line. The analysis ignores all model coverage objectives satisfied in startCov, a cvdata object.

Examples

collapse all

Check the sldvdemo_flipflop model for compatibility with Simulink Design Verifier software.

Open the sldvdemo_flipflop example model and check for compatibility.

open_system('sldvdemo_flipflop');
status = sldvcompat('sldvdemo_flipflop');

Input Arguments

collapse all

Handle to a Simulink model.

Example: 'sldvdemo_flipflop'

Handle to an atomic subsystem in a Simulink model.

sldvoptions object that specifies the analysis parameters.

Logical value indicating where to display messages during analysis:

true to display messages in the log window.
false (default) to display messages in the Command Window.

A cvdata object that contains coverage data for the model.

Output Arguments

collapse all

If the model is compatible with Simulink Design Verifier software, the status is 1 . Otherwise, sldvcompat returns 0.

Alternatives

To check if a model is compatible with Simulink Design Verifier, on the Design Verifier tab, in the Analyze section, click Check Compatibility.

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

See Also

|

Topics

Introduced in R2007a

Simulink Design Verifier Documentation

Support