pre style="margin:0; padding:0 "> 137: </pre>
<pre style="margin:0; padding:0 "> 138:   // requests must stay asserted until they have been granted</pre>
<pre style="margin:0; padding:0 "> 139:   `ASSUME(ReqStaysHighUntilGranted_M, (|req_i) && !ready_i |=></pre>
<pre style="margin:0; padding:0 "> 140:       (req_i & $past(req_i)) == $past(req_i), clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 141:   // check that the arbitration decision is held if the sink is not ready</pre>
<pre style="margin:0;