s to output within one cycle</pre>
<pre style="margin:0; padding:0 "> 214:     `ASSERT(SigIntPing_A, alert_rx_i.ping_p == alert_rx_i.ping_n |=></pre>
<pre style="margin:0; padding:0 "> 215:         alert_tx_o.alert_p == alert_tx_o.alert_n, clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 216:     `ASSERT(SigIntAck_A,  alert_rx_i.ack_p == alert_rx_i.ack_n   |=></pre>
<pre style="margin:0; padding:0 "> 217:         alert_tx_o.alert_p == alert_tx_o.alert_n, clk_i, !rst_ni)</pre>
<pre style="margin:0; p