本页采用了机器翻译。点击此处可查看最新英文版本。

sldvmakefilter

生成包含针对 Unsatisfiable 文件中状态为 Dead Logic、Falsified、Falsified - No Counterexample、Error - Needs Simulation 或 sldvData 的目标的申述规则的过滤文件

自 R2022a 起

全页折叠

语法

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

说明

filterFile = sldvmakefilter(model,dataFile) 从 sldvData 文件 dataFile 生成一个过滤文件。函数默认将 filterFile 命名为[modelName'_filter.cvf']格式，并保存到当前工作目录中。

如果当前目录中已经存在同名文件，则该函数会将申述规则附加到该文件。

filterFile = sldvmakefilter(model,dataFile,filterFile) 将过滤器文件保存为 filterFile 中指定的名称或路径。

如果 filterFile 中指定的文件已经存在，该函数会将申述规则附加到该文件。

输入参数

全部折叠

Simulink® 模型的名称或句柄，指定为字符向量或字符串标量。

Simulink Design Verifier™ 分析数据文件的名称或路径，指定为字符向量或字符串标量。dataFile 必须包含指定 model 的分析结果。

如果 dataFile 是使用 model 的早期版本生成的，您可能会看到意外的效果。为了避免模型与分析结果数据之间出现不一致，当您指定 dataFile 时，请选择包含来自同一版本 model 的结果的数据文件。

有关分析数据文件的更多信息，请参阅管理 Simulink Design Verifier 数据文件。

示例: 'results.mat'

示例: 'sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat'

示例: 'sldv_output\my_model\my_model_sldvdata.mat'

具有申述规则的分析过滤器文件的名称或路径，指定为字符向量或字符串标量。

示例: 'sldvdemo_design_error_detection_sldv_filter.cvf'

输出参量

全部折叠

具有申述规则的分析过滤器文件的名称或路径，以字符向量或字符串标量的形式返回。

示例: 'sldvdemo_design_error_detection_sldv_filter.cvf'

版本历史记录

在 R2022a 中推出

另请参阅

主题