为什么仿真软件设计万博1manbetx校验时才发现死去的逻辑我交换我的逻辑操作数的顺序吗?

2视图(30天)
我有以下Stateflow图表:
图1:
图2:
这两个图表,唯一的区别是,操作数的顺序在第二个过渡交换。万博1manbetx仿真软件设计验证人发现死逻辑在图2中,但不是在表1。

接受的答案

MathWorks支万博1manbetx持团队
编辑:MathWorks支万博1manbetx持团队 2022年10月13日
你看到这种行为的原因是由于逻辑短路。看到下面的文档页面逻辑短路更多细节:
只有两种方式,我们可以达到第二个转变:如果
Input1 ! = SomeNumber
,或者输入2、3和4
所有的错误
案例1:Input1 = = SomeNumber
如果Input1 = = SomeNumber,然后输入2、3和4都必须是假的。在这种情况下,第二个过渡必须是真实的。在这个特定的例子中,逻辑可以被视为“死”在两个图表。
案例2:Input1 ! = SomeNumber
是这种情况,设置两个图表。在这种情况下,输入2、3和4真与假的任意组合
在图1中,我们首先检查是否输入2、3和4是真实的,因为它们可以在任何组合的真与假,对我们来说是可能达到的所有逻辑在这个过渡。出于这个原因,逻辑是不被认为是“死”。
在图2中,然而,逻辑短路踢,因为我们检查是否
Input1 = = SomeNumber
,这是错误的。因此,我们永远不会达到之前的逻辑,逻辑是“死”。

更多的答案(0)

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!