le="margin:0; padding:0 "> 264:   `ASSERT(rvalidHighReqFifoEmpty, rvalid_i |-> reqfifo_rvalid, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 265: </pre>
<pre style="margin:0; padding:0 "> 266:   // below assertion fails when outstanding value is too small (SRAM rvalid is asserted</pre>
<pre style="margin:0; padding:0 "> 267:   // even though the RspFifo is full)</pre>
<pre style="margin:0; padding:0 "> 268:   `ASSERT(rvalidHighWhenRspFifoFull, rvalid_i |-> rspfifo_wready, clk_i, !rst_ni)</pre>
<p