Dave, I tried this, seems to be working, do you think it is correct?
property write;
int a;
int b;
int c;
@(posedge clk) first_match(A ## [2:50] b) |=> first_match(c));
endproperty
Dave, I tried this, seems to be working, do you think it is correct?
property write;
int a;
int b;
int c;
@(posedge clk) first_match(A ## [2:50] b) |=> first_match(c));
endproperty