///////////</pre>
<pre style="margin:0; padding:0 "> 190: </pre>
<pre style="margin:0; padding:0 "> 191:   // check whether all outputs have a good known state after reset</pre>
<pre style="margin:0; padding:0 "> 192:   `ASSERT_KNOWN(AlertPKnownO_A, alert_tx_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 193: </pre>
<pre id="id194" style="background-color: #FFB6C1; margin:0; padding:0 "> 194:   if (AsyncOn) begin : gen_async_assert</pre>
<pre style="margin:0; padding:0 "> 195:     // check prop