In reply to dave_59:
It would not work because at the first posedge of rclk, FSM would be in S0, and at some point again when this assertion is triggered, FSM will be in a state that’s not S1 or S7. I want to check for ladder_value to be equal to 88 only in S1or S7 or both