Main Content

sldvmakefilter

Generate filter file containing justification rules for objectives with Unsatisfiable, Dead Logic, Falsified, Falsified - No Counterexample, or Error - Needs Simulation status in sldvData file

Since R2022a

collapse all in page

Syntax

filterFile = sldvmakefilter(model,dataFile)
filterFile = sldvmakefilter(model,dataFile,filterFile)

Description

filterFile = sldvmakefilter(model,dataFile) generates a filter file from the sldvData file dataFile. The function names the filterFile in the format [modelName '_filter.cvf'] by default and saves it to the current working directory.

If a file by this name already exists in the current directory, the function appends the justification rules to that file.

filterFile = sldvmakefilter(model,dataFile,filterFile) saves the filter file with the name or to the path specified in filterFile.

If the file specified in filterFile already exists, the function appends the justification rules to that file.

Input Arguments

collapse all

Name or handle of a Simulink® model, specified as a character vector or string scalar.

Name or path of the Simulink Design Verifier™ analysis data file, specified as a character vector or string scalar. dataFile must contain the analysis results for the specified model.

If dataFile is generated with a previous version of model, you might see unexpected effects. To avoid inconsistencies between your model and the analysis results data, when you specify dataFile, choose a data file that contains results from the same version of the model.

For more information about analysis data files, see Manage Simulink Design Verifier Data Files.

Example: 'results.mat'

Example: 'sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat'

Example: 'sldv_output\my_model\my_model_sldvdata.mat'

Name or path of the analysis filter file with the justification rules, specified as a character vector or string scalar.

Example: 'sldvdemo_design_error_detection_sldv_filter.cvf'

Output Arguments

collapse all

Name or path of the analysis filter file with the justification rules, returned as a character vector or string scalar.

Example: 'sldvdemo_design_error_detection_sldv_filter.cvf'

Version History

Introduced in R2022a

See Also

Topics