re>
<pre style="margin:0; padding:0 "> 229:         $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 "> 230:   end</pre>
<pre style="margin:0; padding:0 "> 231: </pre>
<pre style="margin:0; padding:0 "> 232:   // if alert_i is true, handshakes should be continuously repeated</pre>
<pre style="margin:0; padding:0 "> 233:   `ASSERT(AlertHs_A, alert_i && state_q == Idle |=> $rose(alert_tx_o.alert_p),</pre>
<pre style="margin:0; paddi