I want to check If my Signal A is high as long as I am in the FSM 'FSM_WAIT' State. If A goes low anywhere in this State I should flag an error. The Assertion should also check that the signal is High when it enters the FSM_WAIT state
I tried a sample Code somewhat like this.
@(posedge clk )
disable iff (!reset)
(fsm_state==FSM_WAIT ) && A |-> A until (fsm_state!=FSM_WAIT );
endproperty : p_try
But this will not be active if A is low when it enters the FSM Wait State. So it will not flag an error correct ?