/</pre>
<pre style="margin:0; padding:0 "> 106: </pre>
<pre style="margin:0; padding:0 "> 107:   // we can only grant one requestor at a time</pre>
<pre style="margin:0; padding:0 "> 108:   `ASSERT(CheckHotOne_A, $onehot0(gnt_o), clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 109:   // A grant implies that the sink is ready</pre>
<pre style="margin:0; padding:0 "> 110:   `ASSERT(GntImpliesReady_A, |gnt_o |-> ready_i, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 111:   // A grant implie