igint on outgoing</pre>
<pre style="margin:0; padding:0 "> 223:     // lines (which is not visible here). thus, we only check whether the handshake</pre>
<pre style="margin:0; padding:0 "> 224:     // is correctly initiated and defer the full handshake checking to the testbench.</pre>
<pre style="margin:0; padding:0 "> 225:     `ASSERT(PingHs_A, ##1 $changed(alert_rx_i.ping_p) && state_q == Idle |=></pre>
<pre style="margin:0; padding:0 "> 226:         $rose(alert_tx_o.alert_p), clk_i, !rst_ni || (alert_tx_