静态检查范围

检查信号落入内振幅的固定范围

扩大所有页面

图书馆：
金宝app的Simulink /模型验证
HDL编码器/模型验证

描述

当静态检查范围方框检查该输入信号中的每个元素落在相同的范围内，在每个时间步长幅度的内部。当上界和下界参数限定该范围的上限和下限。然后，块比较之后执行的断言。如果信号的范围内下降时，断言真正的(1)block什么也不做。如果不是，则默认情况下，该块将暂停模拟并返回一个错误消息。

输入信号和界限可以是标量，矢量或矩阵。所有这三个必须是相同的数据类型。块比较输入以不同的方式根据信号的边界的值。

当将标量与向量或矩阵进行比较时，块将标量与非标量输入信号或边界的每个元素进行比较。
当比较矢量或矩阵信号到其它矢量或矩阵，所述块中的输入信号进行比较，以边界元件逐元素。
对于具有多个向量或矩阵输入信号或边界的模型，向量或矩阵必须具有相同的维数。

港口

输入

展开所有

`PORT_1`-输入信号检查范围
标量|向量|矩阵

输入信号，来检查对由指定的范围内上界和下界参数。

数据类型：一半|单身|双人间|INT8|int16|int32|Int64的|uint8.|uint16|UINT32.|UINT64|布尔基|不动点|枚举

输出

展开所有

`PORT_1`- 断言输出信号
标量子

这是输出信号真正的(1)如果断言成功，假（0）如果断言失败。如果在配置参数窗口，在数学和数据类型段，下先进的参数你选择实现逻辑信号作为布尔数据时，则输出数据类型是布尔基．否则，信号的数据类型为双人间．

依赖性

为了使这种输出端口，设置断言输出信号参数复选框。

数据类型：双人间|布尔基

参数

展开所有

`上界`-相对于输入信号的上限
标量|向量|矩阵

指定输入信号的振幅范围的上限。

命令行信息

参数:马克斯

类型：字符向量

价值观：标量子|向量|矩阵

默认值：'0'

`包容的上边界`—包含范围的上限值
`在`（默认）|`从`

选中此复选框可使有效输入振幅的范围包括下界。

命令行信息

参数:min_included

类型：字符向量

价值观：“上”|“关闭”

默认值：“上”

`下界`- 下界相比于输入信号
标量|向量|矩阵

指定输入信号的振幅范围的下界。

命令行信息

参数:分

类型：字符向量

价值观：标量子|向量|矩阵

默认值：'0'

`包含的最低`—包含范围的下界
`在`（默认）|`从`

选中此复选框可使有效输入振幅的范围包括下界。

命令行信息

参数:min_included

类型：字符向量

价值观：“上”|“关闭”

默认值：“上”

`启用断言`—启用或禁用检查
`在`（默认）|`从`

清除此参数禁用块，并导致模型表现得好像块不存在。要启用或禁用所有验证模块，无论此选项的设置，进入配置参数窗口，点击诊断>数据有效性,扩大先进的参数段，并设置启用模型验证块到目前为止全部启用或禁用所有．

命令行信息

参数:启用

类型：字符向量

价值观：“上”|“关闭”

默认值：“上”

`断言失败时的模拟回调(可选)`- 当断言失败评估表达
`“”`（默认）|MATLAB表达

指定MATLAB^®当断言失败来评价表达。因为表达式在MATLAB工作区进行评价，在限定在该工作空间的表达中使用的所有变量。

依赖性

要启用该参数，请选择启用断言参数。

命令行信息

参数:回调

类型：字符向量

价值观：MATLAB表达

默认值：“”

`当断言失败停止模拟`- 当检查失败时是否停止模拟
`在`（默认）|`从`

选择此参数时校验失败停止模拟。清除此参数显示警告，并继续模拟。

命令行信息

参数:stopWhenAssertionFail

类型：字符向量

价值观：“上”|“关闭”

默认值：“上”

`断言输出信号`-创建输出信号
`从`（默认）|`在`

选择此参数，以使输出端口。

命令行信息

参数:出口

类型：字符向量

价值观：“上”|“关闭”

默认值：“关闭”

`选择图标类型`- 选择图标类型
`图形`（默认）|`文本`

指定块图标的样式。当图形选项在图标上显示断言条件的图形表示形式。当文本选项显示的数学表达式表示所述断言状态。

命令行信息

参数:图标

类型：字符向量

价值观：“图形”|“文本”

默认值：“图形”

模型例子

检查信号范围与静态检查范围块

使用检查静态范围块，可以检查的信号振幅的上限和下限针对块中的参数定义的值。

开放模式

块特征

数据类型	`布尔基`\|`双人间`\|`枚举`\|`不动点`\|`一半`\|`整数`\|`单身`
直接引线	`没有`
多维信号	`是的`
可变大小信号	`没有`
过零检测	`没有`

扩展能力

C / C ++代码生成
生成使用的Simulink编码器™C和C ++代码。金宝app

了解如何金宝app^®编码器™生成的代码手柄模型验证块，见配置调试模型（金宝appSimulink的编码器）．

不推荐用于生产代码。

HDL代码生成
使用HDL Coder™为FPGA和ASIC设计生成Verilog和VHDL代码。

HDL Coder™提供了影响HDL实现和合成逻辑的额外配置选项。

高密度脂蛋白架构

该块检查在模拟过程中每个时间步长每个输入信号元素是否落在相同的幅度范围内，但生成的代码中不包括它。

PLC代码生成
使用Simulink®PLC Coder™生成结构化文本代码。金宝app

定点转换
使用fixed-point Designer™设计和模拟定点系统。

另请参见

检查动态范围|检查静态下界|检查静态上限

之前介绍过的R2006a

静态检查范围

描述

港口