o.alert_p == alert_tx_o.alert_n))</pre>
<pre style="margin:0; padding:0 "> 227:   end</pre>
<pre style="margin:0; padding:0 "> 228: </pre>
<pre style="margin:0; padding:0 "> 229:   // if alert_i is true, handshakes should be continuously repeated</pre>
<pre style="margin:0; padding:0 "> 230:   `ASSERT(AlertHs_A, alert_i && state_q == Idle |=> $rose(alert_tx_o.alert_p),</pre>
<pre style="margin:0; padding:0 "> 231:       clk_i, !rst_ni || (alert_tx_o.alert_p == alert_tx_o.alert_n))</pre>
<pre style="margin:0