alert_tx_o.alert_n)</pre>
<pre style="margin:0; padding:0 "> 202:     `ASSERT(SigIntAck_A,  alert_rx_i.ack_p == alert_rx_i.ack_n   [*2] |-></pre>
<pre style="margin:0; padding:0 "> 203:         ##3 alert_tx_o.alert_p == alert_tx_o.alert_n)</pre>
<pre style="margin:0; padding:0 "> 204:     // output must be driven diff unless sigint issue detected</pre>
<pre style="margin:0; padding:0 "> 205:     `ASSERT(DiffEncoding_A, (alert_rx_i.ack_p ^ alert_rx_i.ack_n) &&</pre>
<pre style="margin:0; padding:0 "> 206:   