tyle="margin:0; padding:0 "> 527:   `ASSERT(ValidHashStartAssert, hash_start |-> !initiated, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 528:   `ASSERT(ValidHashProcessAssert, reg_hash_process |-> initiated, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 529: </pre>
<pre style="margin:0; padding:0 "> 530:   // between `hash_done` and `hash_start`, message FIFO should be empty</pre>
<pre style="margin:0; padding:0 "> 531:   `ASSERT(MsgFifoEmptyWhenNoOpAssert,</pre>
<pre style="margin:0