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 ) …

IMPORTANT NOTICE: Please be advised that the Verification Academy Forums will be offline for scheduled maintenance on Sunday, April 19th at 5:00 AM US/Pacific.

dave_59 February 22, 2021, 6:30pm 2

In reply to pagarwa5:

use until_with.

Assertions Check if Signal is High when it enters a state and Stays High