Why does Simulink Design Verifier only find dead logic when I swap the order of my logical operands?
조회 수: 1 (최근 30일)
이전 댓글 표시
MathWorks Support Team
2020년 4월 7일
편집: MathWorks Support Team
2022년 10월 13일
I have the following Stateflow charts:
Chart 1:
Chart 2:
The only difference in these two charts, is that the order of the operands at the second transition are swapped. Simulink Design Verifier finds dead logic in Chart 2, but not in Chart 1.
채택된 답변
MathWorks Support Team
2022년 10월 13일
편집: MathWorks Support Team
2022년 10월 13일
The reason you are seeing this behaviour is due to logical short-circuiting. See the following documentation page on logical short-circuiting for more details:
There are only two ways by which we can reach the second transition: if
Input1 != SomeNumber
, or if Inputs 2, 3 and 4 are
all false
.
Case 1: Input1 == SomeNumber
In the case that Input1 == SomeNumber, then Inputs 2, 3 and 4 must all be false. In this case, the second transition has to be true. In this specific case, the logic could be considered 'dead' in both charts.
Case 2: Input1 != SomeNumber
This is the case that sets the two charts apart. In this case, Inputs 2, 3 and 4 can be any combination of true and false.
In Chart 1, we first check whether Inputs 2, 3 and 4 are true, and since they can be in any combination of true and false, it is possible for us to reach of all the logic in this transition. For this reason, the logic is not considered 'dead'.
In Chart 2, however, logical short-circuiting kicks in because we check whether
Input1 == SomeNumber
, which is false. We therefore will never reach the logic that follows and the logic is considered 'dead'.
댓글 수: 0
추가 답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Simulink Functions에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!