; padding:0 "> 532:           !in_process && !initiated |-> $stable(message_length),</pre>
<pre style="margin:0; padding:0 "> 533:           clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 534: </pre>
<pre style="margin:0; padding:0 "> 535:   // hmac_en should be modified only when the logic is Idle</pre>
<pre style="margin:0; padding:0 "> 536:   `ASSERT(ValidHmacEnConditionAssert,</pre>
<pre style="margin:0; padding:0 "> 537:           hmac_en != $past(hmac_en) |-> !in_process && !initiated,</pre>