I have a doubt in the implementation of the SV checker which checks if a valid request is asserted, there should be a grant after 10 clock cycles.
always @(posedge req)
repeat (10) @(posedge clk);
$display ("SUCCESS: Grant arrived in time ", $time);
repeat(11) @(posedge clk);
$display("ERROR:Grant did not arrive in time\n", $time);
This code is not working for the input requests in two consecutive cycles.
Can someone help with implementing this checker without using SVA?