0, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 121:   // check index / grant correspond</pre>
<pre style="margin:0; padding:0 "> 122:   `ASSERT(IndexIsCorrect_A, ready_i && valid_o |-> gnt_o[idx_o] && req_i[idx_o], clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 123:   // data flow</pre>
<pre style="margin:0; padding:0 "> 124:   `ASSERT(DataFlow_A, ready_i && valid_o |-> data_o == data_i[idx_o], clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 125:   // KNOWN assertions on outp