Main Content

本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。

逻辑运算

如果您有一个包含逻辑与算术运算的 Simulink®模型，请考虑仅分析逻辑运算。

Simulink Design Verifier™ 软件不支持浮点数的非线性算术，例如乘法或除法，除非乘法操作数或除数之一是常数。

为了简化包含整数或浮点数的模型，软件将模型计算映射到布尔变量的表达式中。例如，软件可能将一个八位数表示为一组八个布尔值，每个数字一个。它可能将两个八位整数的逐位 OR 运算表示为八个单独的逻辑 OR 运算。

将一种数据类型的问题映射到布尔变量是复杂的，并且当软件执行这种映射时，这种复杂性会增加。与处理具有大整数或浮点信号的模型相比，该软件处理以逻辑信号为主的模型的效率更高。

注意

Simulink Design Verifier 软件可以在浮点输入值通过线性不等式（例如 x < y 或 a > 0）影响设计时处理浮点输入。

此外，输入的复杂性可能由某些强制类型转换操作造成。例如，将 double 转换为 int8 在某些情况下会引入非线性。