In reply to dave_59:
Hi Dave,
Isnt it a[->1], you are already checking $rose(A) in the antecedent? In the waveform there is two highs of A not 3.
cover property (@(posedge clk) $rose(a) ##0 (!b throughout a[->1) |=> !a throughout b[->2] )
]
In reply to dave_59:
Hi Dave,
Isnt it a[->1], you are already checking $rose(A) in the antecedent? In the waveform there is two highs of A not 3.
cover property (@(posedge clk) $rose(a) ##0 (!b throughout a[->1) |=> !a throughout b[->2] )
]