ng:0 "> 116:   `ASSERT(ReqImpliesValid_A, |req_i |-> valid_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 117:   // Both conditions above combined and reversed</pre>
<pre style="margin:0; padding:0 "> 118:   `ASSERT(ReadyAndValidImplyGrant_A, ready_i && valid_o |-> |gnt_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 119:   // Both conditions above combined and reversed</pre>
<pre style="margin:0; padding:0 "> 120:   `ASSERT(NoReadyValidNoGrant_A, !(ready_i || valid_o) |-> gnt_o == 