idKnown, tl_o.d_valid, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 544:   `ASSERT_KNOWN(TlOAReadyKnown, tl_o.a_ready, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 545: </pre>
<pre style="margin:0; padding:0 "> 546:   // Alert outputs</pre>
<pre style="margin:0; padding:0 "> 547:   `ASSERT_KNOWN(AlertTxOKnown, alert_tx_o, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 548: </pre>
<pre style="margin:0; padding:0 "> 549: `endif // SYNTHESIS</pre>
<pre style="margin:0; padding