In reply to nimitz_class:
Dave’s property only activates when FSM is in S1 or S7. When the FSM is S0, the check does not happen. Maybe you need to provide more detail about your problem.
In reply to nimitz_class:
Dave’s property only activates when FSM is in S1 or S7. When the FSM is S0, the check does not happen. Maybe you need to provide more detail about your problem.