Hi,
I have similar requirement like when a is 1 then I need to check for b should be 2 and next throughout simulation next value b should b3 3. If b is 3 after 2 my assertion should fail.
Ex: assert propert @(posedge clk) ((a==1) |-> (b==2) → ([1:$] (c==3) && (c=!2)));
end property
Is this correct or anyother better solution?