s that the arbiter asserts valid as well</pre>
<pre style="margin:0; padding:0 "> 112:   `ASSERT(GntImpliesValid_A, |gnt_o |-> valid_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 113:   // A request and a sink that is ready imply a grant</pre>
<pre style="margin:0; padding:0 "> 114:   `ASSERT(ReqAndReadyImplyGrant_A, |req_i && ready_i |-> |gnt_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 115:   // A request and a sink that is ready imply a grant</pre>
<pre style="margin:0; paddi