ectly initiated and defer the full handshake checking to the testbench.</pre>
<pre style="margin:0; padding:0 "> 212:     // TODO: add the staggered cases as well</pre>
<pre style="margin:0; padding:0 "> 213:     `ASSERT(PingHs_A, ##1 $changed(alert_rx_i.ping_p) &&</pre>
<pre style="margin:0; padding:0 "> 214:         (alert_rx_i.ping_p ^ alert_rx_i.ping_n) ##2 state_q == Idle |=></pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 215:         $rose(alert_tx_o.alert_p), clk_i, !rst_ni || (a