Simulink Design Verifier 模块库

要打开 Simulink® Design Verifier™ 模块库，请在 MATLAB® 命令提示符下，键入 sldvlib。

Simulink Design Verifier 模块库包含三个类别的模块：

  • 目标和约束 - 用于定义自定义目标和约束的模块

  • 时序运算符 - 用于定义布尔信号时序属性的模块

  • 验证实用工具 - 其他验证实用工具

该模块库还包含一个子库 Example Properties，其中包含说明如何在模型中指定常用属性的示例。您可以轻松调整这些示例以在您的模型中使用。