I tried this, seems to be working
property write;
int a;
int b;
int c;
@(posedge clk) first_match(A ## [2:50] b) |=> c);
endproperty
but it is choking when A occurs two times before b has arrived in 50 clock cycles.
I tried this, seems to be working
property write;
int a;
int b;
int c;
@(posedge clk) first_match(A ## [2:50] b) |=> c);
endproperty
but it is choking when A occurs two times before b has arrived in 50 clock cycles.