逻辑运算
如果您有一个包含逻辑与算术运算的 Simulink®模型,请考虑仅分析逻辑运算。
Simulink Design Verifier™ 软件不支持浮点数的非线性算术,例如乘法或除法,除非乘法操作数或除数之一是常数。
为了简化包含整数或浮点数的模型,软件将模型计算映射到布尔变量的表达式中。例如,软件可能将一个八位数表示为一组八个布尔值,每个数字一个。它可能将两个八位整数的逐位 OR
运算表示为八个单独的逻辑 OR
运算。
将一种数据类型的问题映射到布尔变量是复杂的,并且当软件执行这种映射时,这种复杂性会增加。与处理具有大整数或浮点信号的模型相比,该软件处理以逻辑信号为主的模型的效率更高。
注意
Simulink Design Verifier 软件可以在浮点输入值通过线性不等式(例如 x < y 或 a > 0)影响设计时处理浮点输入。
此外,输入的复杂性可能由某些强制类型转换操作造成。例如,将 double
转换为 int8
在某些情况下会引入非线性。