检查静态上限

检查信号小于（或可选地等于）静态上限

展开所有页面

图书馆：
万博1manbetxSimulink / Model验证
HDL编码器/模型验证

描述

这检查静态上限块检查输入信号是否小于（或可选地等于）每个时间步骤的指定的下限并在比较之后执行断言。这上限参数定义上限。如果输入信号小于上限，则断言是真正的(1)block什么也不做。如果不是，则默认情况下，该块将暂停模拟并返回一个错误消息。

输入信号和绑定可以是标量，向量或矩阵。输入和绑定必须是相同的数据类型。该块将输入的值与根据信号的不同方式进行比较。

当将标量与向量或矩阵进行比较时，块将标量与非标量输入信号的每个元素进行比较。
当将向量或矩阵信号与向量或矩阵上限进行比较时，块将输入信号与绑定元素进行比较。
对于具有输入信号的模型和绑定的载波或矩阵，输入信号和绑定必须具有相同的尺寸。

港口

输入

展开全部

`port_1.`- 输入信号检查绑定
标量|向量|矩阵

的上限检查输入信号上限范围。

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

输出

展开全部

`port_1.`- 断置输出信号
标量

输出信号真正的(1)如果断言成功和假(0)如果断言失败。如果在配置参数窗口中，则在数学和数据类型部分，下面先进的参数，你选择实现逻辑信号作为布尔数据，则输出数据类型为布尔．否则，信号的数据类型为双倍的．

依赖性

要启用此输出端口，请选择断言输出信号参数复选框。

数据类型：双倍的|布尔

参数

展开全部

`上限`-上边界值
标量|向量|矩阵

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

程序使用

参数:马克斯

类型：字符向量

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

默认：'0'

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

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

程序使用

参数:max_included

类型：字符向量

价值观：'在'|“关闭”

默认：'在'

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

清除此参数禁用块并导致模型表现得像块不存在一样。要启用或禁用所有验证块，无论此选项的设置如何，请转到“配置参数”窗口，单击诊断>数据有效性,扩大先进的参数部分和设置启用模型验证块到启用所有或禁用所有．

程序使用

参数:启用

类型：字符向量

价值观：'在'|“关闭”

默认：'在'

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

指定MATLAB.^®表达以评估断言失败时。由于表达式在MATLAB工作空间中进行了评估，因此定义在该工作空间中表达式中使用的所有变量。

依赖性

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

程序使用

参数:回调

类型：字符向量

价值观：matlab表达

默认：''

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

选中此参数以在检查失败时停止模拟。清除此参数以显示警告并继续模拟。

程序使用

参数:stopwhenassertionfail.

类型：字符向量

价值观：'在'|“关闭”

默认：'在'

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

选择此参数以启用输出端口。

程序使用

参数:出口

类型：字符向量

价值观：'在'|“关闭”

默认：“关闭”

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

指定块图标的样式。这形象的选项在图标上显示断言条件的图形表示形式。这文本选项显示表示断置条件的数学表达式。

程序使用

参数:图标

类型：字符向量

价值观：'形象的'|“文本”

默认：'形象的'

模型例子

检查信号上限用检查静态上限块

这个模型使用检查静态上限块来确定输入正弦波的上限。

开放模式

查看验证管理器中的模型验证块

此模型包含一个信号构建器块，将五个测试信号供给模拟验证块。前四个信号直接连接以检查静态上限块。

块特征

数据类型	`布尔`\|`双倍的`\|`枚举`\|`不动点`\|`一半`\|`整数`\|`单身的`
直接引线	`没有`
多维信号	`是的`
可变尺寸信号	`没有`
零交叉检测	`没有`

扩展能力

C / c++代码生成
使用Simulink®Coder™生成C和C ++代码。万博1manbetx

了解如何万博1manbetx^®编码器™生成的代码处理模型验证块，请参阅配置调试模型（万博1manbetxSimulink编码器）．

不推荐用于生产代码。

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

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

高密度脂蛋白架构

该块在模拟期间检查每个输入信号元素是否低于静态上限，但生成的代码中不包含它。

PLC代码生成
使用Simulink®PLC Coder™生成结构化文本代码。万博1manbetx

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

也可以看看

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

之前介绍过的R2006a

检查静态上限

描述

港口