property p1 (int a);
@ (posedge clk)
disable iff (rstn !== 1’b1)
(sig_c === 1’b1) |-> (int '(sig_d) === a);
endproperty:p1
cover property(p1(5));
Warning:
- (rstn !== 1’b1) -----> it is a complex expression
- Cannot use implication in cover property? How to resolve this warning. Can I use this (sig_c === 1’b1) ##0 (int '(sig_d) === a);