Assumption in Formal verification

[sivareddy437]

In reply to dave_59:

Thanks Dave,
i used in following way,
assume property (@(posedge clk) $rose(A) |-> A throughout B[->1]);