    `ASSERT(PingHs_A, ##1 $changed(alert_rx_i.ping_p) &&</pre>
<pre style="margin:0; padding:0 "> 210:         (alert_rx_i.ping_p ^ alert_rx_i.ping_n) ##2 state_q == Idle |=></pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 211:         $rose(alert_tx_o.alert_p), clk_i, !rst_ni || (alert_tx_o.alert_p == alert_tx_o.alert_n))</pre>
<pre style="margin:0; padding:0 "> 212:   end else begin : gen_sync_assert</pre>
<pre style="margin:0; padding:0 "> 213:     // check propagation of sigint issue