How to write SVA when the antecedent is changing at the same time when the sampling clock is getting off?

SystemVerilog
, , ,
6

In reply to ViVer:


property check_sigs;
@(posedge clk_1) disable iff (disable_check)
($change(sig_a) |-> $past(sig_b)==0);
endprope