使用指定的最小值和最大值进行优化
描述
使用模型中信号和参数的指定最小值和最大值来优化生成的代码。
类别:优化
设置
默认值:从
-
在
-
使用从模型中信号和参数的最小和最大指定值派生的范围信息来优化生成的代码。
-
从
-
在生成代码时忽略指定的最小值和最大值。
提示
为了检测由于使用此参数而产生的模型和生成的代码模拟之间的不匹配,在运行正常的加速器之前,软件在环(SIL)或处理器在环(PIL)模拟,诊断>数据的有效性>模拟距离检查来
警告
或错误
.为模型中的信号和参数指定最小值和最大值:
轮廓尺寸和外港块。
块输出。
块输入,例如MATLAB函数和Stateflow图表块。
金宝app仿真软件。信号
对象。
此优化不考虑指定的最小值和最大值:
合并块的输入。为了解决这个问题,使用a
金宝app仿真软件。信号
对象上的合并阻塞输出并指定该对象的范围总线的元素。
条件执行的子系统(例如触发的子系统)阻止直接连接到外港块。
外港条件执行子系统中的块可以指定一个初始值,仅在系统未被触发时使用。在这种情况下,优化不能使用块输出的范围,因为该范围可能没有覆盖块的初始值。
如果你使用Polyspace®代码验证™验证使用此优化生成的代码的软件,可能会将之前为绿色的代码标记为橙色。例如,如果您的模型包含一个除法,其中分母的范围不包括零,则生成的代码不包括防止被零除法的保护。Polyspace代码证明可能会将此代码标记为橙色,因为它没有关于为除法输入指定的最小值和最大值的信息。
的Polyspace代码证明软件可以自动捕获MATLAB中指定的一些最小值和最大值®工作区,例如,for
金宝app仿真软件。信号
和金宝app仿真软件。参数
对象。的范围信息Polyspace代码证明软件,请使用金宝app仿真软件。信号
对象的输入,并指定一个不包含零的范围。的Polyspace代码证明软件将这些值存储在数据范围规范(DRS)文件中。但是,它们不能捕获您的Simulink中指定的最小值和最大值金宝app®模型。提供额外的最小/最大信息给Polyspace代码证明,可以手动定义DRS文件。有关更多信息,请参见Polyspace代码证明文档。
如果使用双精度数据类型和代码生成>接口>金宝app支持非有限数如果选择配置参数,则不会进行此优化。
如果您的模型包含可重用子系统的多个实例,并且每个实例使用具有不同指定的最小值和最大值的输入信号,那么这种优化可能会导致每个子系统生成不同的代码,从而不会发生代码重用。如果没有这种优化金宝app仿真软件编码器™软件为子系统生成一次代码,并在子系统的多个实例之间共享此代码。
模型顾问检查检查安全相关的优化设置(金宝app仿真软件检查)如果选择此选项,则生成警告。对于许多安全关键型应用程序,自动删除死代码是不可接受的,因为这样做可能会使代码无法跟踪。
启用这种优化可以提高定点设计器™软件从生成的代码中消除不必要的实用功能和饱和代码的能力。
依赖关系
此参数仅适用于基于ert的目标器。
此参数需要嵌入式编码器®生成代码时使用许可证。
命令行信息
参数:UseSpecifiedMinMax |
值:“上” |“关闭” |
默认值:“关闭” |
推荐设置
应用程序 | 设置 |
---|---|
调试 | 从 |
可追溯性 | 从 |
效率 | 在 |
安全预防措施 | 没有影响 |