SVA for FSM

[nimitz_class]

In reply to nimitz_class:

Similarly, I have to write two more assertions to check for ladder_value to be 90 and d0 in various other fsm states