Simulink Design Verifier Dead Logic
조회 수: 1 (최근 30일)
이전 댓글 표시
I used simulink design verifier to check my state machine model. And some dead logics are detected.
Red line is dead logic, data type of input1 and input2 are int16.
Simulink Design Verifier explain that some conditions can only be true or unreadchable such as following.
Could you please explain to me??
댓글 수: 0
답변 (1개)
Andrew LeCours
2019년 12월 3일
can only be true means that the specified condition under Description is always true. For example, for the dead logic in the second row of the report, input1 < input2 is always true, which means that the condition, when evaluated, never evaluates to false. The reason that this is the case, is that the (input1 < input2) || (input1 == 0) condition is only evaluated when transition 1, input1 >= input2 is false (hence ~(input1 >= input2) is true), which guarantees that input1 < input2 will be true. For more information, see transition execution rules.
unreachable means that the specified condition never executes. In this case, the objectives involving substate A2 are all unreachable, because the transition (input1 < input2) || (input1 == 0) causes the state to be exited, and then re-entered. This resets the state, forcing the substate back to A1. Thus, the state A2 is never actually used by the chart.
댓글 수: 0
참고 항목
카테고리
Help Center 및 File Exchange에서 Best Practices for Simulink Design Verifier Analysis에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!