Main Content

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

Simulink Design Verifier 模块库

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

Simulink Design Verifier模块库有三类模块：

  • 目标和约束——定义自定义目标和约束的模块

  • 时间运算符——定义布尔信号时间属性的模块

  • 验证实用程序 — 其他验证实用程序

该模块库还有一个子库“示例属性”，其中包含如何在模型中指定常见属性的示例。您可以轻松地调整这些示例以用于您的模型。