ding:0 "> 131: `ifndef SYNTHESIS</pre>
<pre style="margin:0; padding:0 "> 132:   // A grant implies a request</pre>
<pre style="margin:0; padding:0 "> 133:   int unsigned k; // this is a symbolic variable</pre>
<pre style="margin:0; padding:0 "> 134:   `ASSUME(KStable_M, ##1 $stable(k), clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 135:   `ASSUME(KRange_M, k < N, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 136:   `ASSERT(GntImpliesReq_A, gnt_o[k] |-> req_i[k], clk_i, !rst_ni)</pre>
<