Assumption in Formal verification

[dave_59]

In reply to sivareddy437:

assume property (@(posedge clk) $rose(A) |-> A until B);