检查位移操作的使用情况
mathworks.hism.hisl_0073
自 R2021b 起
依赖关系: Simulink® Check™
用法: 高完整性系统建模
说明
此检查会识别执行位移操作大于输入类型位宽的块或表达式，这可能会导致违反编码标准。
检查参数
使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。
| 参数 | 描述 |
|---|---|
| 检查模型中引用的外部 .m 文件 | 检查 Simulink 模型中引用的外部 .m 文件。 on（默认）| off |
跟随链接 | 验证并追踪 Simulink 模型中的链接。 on（默认）| off |
查看封装内部 | 指定是否在分析中包含掩码模型元素。 全部（默认）| 无 | 图形 | 功能性
|
建议的行动和结果
查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。
| 建模条件 | 建议的操作 |
|---|---|
| 模型中的一个或多个块或表达式执行位移操作，其位移量大于输入类型的位宽。 | 修改模块和表达式，避免位移操作大于输入类型的位宽。 |
功能和限制
不验证以信号作为输入的表达式。此类表达式必须手动验证。
可以在库模型上运行
允许排除模块和图
仅分析活动的变体选择
执行模型编译
版本历史记录
在 R2021b 中推出
