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

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

model — Name or handle of model

character vector | string scalar

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

dataFile — Name or path of analysis data file

character vector | 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'

filterFile — Name or path of analysis filter file with justification rules

character vector | string scalar

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

filterFile — Name or path of analysis filter file with justification rules

character vector | string scalar

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