In reply to abhi9891:
once try this
property p1;
@(posedge clk)
a && $fell(b) |=> $fell(c)
endproperty
assert property(p1);
In reply to abhi9891:
once try this
property p1;
@(posedge clk)
a && $fell(b) |=> $fell(c)
endproperty
assert property(p1);