In reply to 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] );
Hi Dave,
Thank you. I tested this as an assertion and I think for the most part it did the trick. I fixed a minor syntax issue:
cover property (@(posedge clk) $rose(a) ##0 (!b throughout a[->2]) |=> !a throughout b[->2] )
However, I think
[->2]
will include the cases where A is high for two consecutive clocks followed by B high for two consecutive clocks. Is there any way to ensure that both A and B each have two $rose?