In reply to warnerrs:
I need to check for ladder_value whenever FSM goes to a particular set of states. One of those case is when fsm = S1 or S7 or both I want to check for ladder_value == 88.
Second case when fsm == S2 or S3 or S5 or all then ladder_value == 90.
And for the remaining states I want to make sure ladder_value == d0.
Hence I will require 3 assertions and they have to not fail when any of those unknown states occur. Let me know if I have to use a qualifier for that or what?