adding:0 "> 218:     // output must be driven diff unless sigint issue detected</pre>
<pre style="margin:0; padding:0 "> 219:     `ASSERT(DiffEncoding_A, (alert_rx_i.ack_p ^ alert_rx_i.ack_n) &&</pre>
<pre style="margin:0; padding:0 "> 220:         (alert_rx_i.ping_p ^ alert_rx_i.ping_n) |=> alert_tx_o.alert_p ^ alert_tx_o.alert_n,</pre>
<pre style="margin:0; padding:0 "> 221:         clk_i, !rst_ni)</pre>
<pre style="margin:0; padding:0 "> 222:     // handshakes can take indefinite time if blocked due to s