在Simulink和StateFlow元素上指定金宝app输入范围

描述分析如何处理Simulink上的最小值和最大值金宝app^®和州流^®元素。

审查分析结果

审查分析结果金宝appSimulink Design Verifier™结果摘要窗口。

检查指定的最小值和最大值违规

介绍如何分析模型以验证指定的设计最小值和最大值。

最小和最大输入约束

概述了如何金宝appSimulink Design Verifier分析考虑指定的输入最小值和最大值。

在SLDVdata字段中指定输入范围

描述了这一点sldvdata.最小和最大输入值的字段。

使用指定的输入最小值和最大值作为约束

此示例显示如何在测试生成和属性证明期间使用Input Constendifier使用输入端口最小值和最大值作为分析约束。金宝app

信号范围（金宝appSimulink）

通过指定信号在模拟期间可以达到的最小值和最大值来完全指定您的设计并优化数据类型和生成的代码。