Coverpoint for consecutive edge sequence

[dave_59]

In reply to atashinchi:

Didn’t test but how about

cover property (@(posedge clk) $rose(a) ##0 !b throughout a[->2] |=> !a throughout b[->2] );