gin:0; padding:0 "> 522:   // the host doesn't write data after hash_process until hash_start.</pre>
<pre style="margin:0; padding:0 "> 523:   // Same as "message_length shouldn't be changed between hash_process and done</pre>
<pre style="margin:0; padding:0 "> 524:   `ASSERT(ValidWriteAssert, msg_fifo_req |-> !in_process, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 525: </pre>
<pre style="margin:0; padding:0 "> 526:   // `hash_process` shall be toggle and paired with `hash_start`.</pre>
<pre s