Simulink Design Verifier 模块库
要打开 Simulink® Design Verifier™模块库,请在 MATLAB® 命令提示符下键入 sldvlib
。
Simulink Design Verifier模块库有三类模块:
目标和约束——定义自定义目标和约束的模块
时间运算符——定义布尔信号时间属性的模块
验证实用程序 — 其他验证实用程序
该模块库还有一个子库“示例属性”,其中包含如何在模型中指定常见属性的示例。您可以轻松地调整这些示例以用于您的模型。
要打开 Simulink® Design Verifier™模块库,请在 MATLAB® 命令提示符下键入 sldvlib
。
Simulink Design Verifier模块库有三类模块:
目标和约束——定义自定义目标和约束的模块
时间运算符——定义布尔信号时间属性的模块
验证实用程序 — 其他验证实用程序
该模块库还有一个子库“示例属性”,其中包含如何在模型中指定常见属性的示例。您可以轻松地调整这些示例以用于您的模型。