文档

输入范围限制

指定最小和最大输入值来模拟环境约束

主题

仿真软件和Stateflow元素指定输入范围金宝app

描述了仿真软件分析处理最小和最大值金宝app®和Stateflow®元素。

回顾分析结果

回顾的分析结果金宝app仿真软件设计校验™结果总结窗口。

检查指定最小值和最大值

描述了如何分析模型验证指定的设计最大和最小值是荣幸。

最小和最大输入约束

如何的概述金宝app仿真软件设计验证器分析认为指定输入最小和最大值。

在sldvData字段中指定的输入范围

描述了sldvData最小和最大输入值的字段。

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

这个例子展示了如何使用输入端口最小和最大约束值作为分析仿真软件设计验证器在测试生成和财产证明。金宝app

信号范围(金宝app模型)

完全指定您的设计和优化数据类型和生成的代码通过指定最小值和最大值,在模拟信号可以实现。