tAck_A,  alert_rx_i.ack_p == alert_rx_i.ack_n   |=></pre>
<pre style="margin:0; padding:0 "> 221:         alert_tx_o.alert_p == alert_tx_o.alert_n)</pre>
<pre style="margin:0; padding:0 "> 222:     // output must be driven diff unless sigint issue detected</pre>
<pre style="margin:0; padding:0 "> 223:     `ASSERT(DiffEncoding_A, (alert_rx_i.ack_p ^ alert_rx_i.ack_n) &&</pre>
<pre style="margin:0; padding:0 "> 224:         (alert_rx_i.ping_p ^ alert_rx_i.ping_n) |=> alert_tx_o.alert_p ^ alert_tx_o.alert_n)</