In reply to dave_59:
i cant use variable which changes its value after some time
@(posedge clk) $rose(A) |-> $stable(B)[*count];
if my count varies then it shows compilation error says range should be bounded by constant values
My question is how to check the property if it should be stable for count cycles when count varies from time to time?