
<pre style="margin:0; padding:0 "> 538:           clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 539: </pre>
<pre style="margin:0; padding:0 "> 540:   // All outputs should be known value after reset</pre>
<pre style="margin:0; padding:0 "> 541:   `ASSERT_KNOWN(IntrHmacDoneOKnown, intr_hmac_done_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 542:   `ASSERT_KNOWN(IntrFifoFullOKnown, intr_fifo_full_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 543:   `ASSERT_KNOWN(TlODVal