lert_tx_o.alert_p == alert_tx_o.alert_n))</pre>
<pre style="margin:0; padding:0 "> 216:   end else begin : gen_sync_assert</pre>
<pre style="margin:0; padding:0 "> 217:     // check propagation of sigint issues to output within one cycle</pre>
<pre style="margin:0; padding:0 "> 218:     `ASSERT(SigIntPing_A, alert_rx_i.ping_p == alert_rx_i.ping_n |=></pre>
<pre style="margin:0; padding:0 "> 219:         alert_tx_o.alert_p == alert_tx_o.alert_n)</pre>
<pre style="margin:0; padding:0 "> 220:     `ASSERT(SigIn