re>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 178:       alert_nq    <= 1'b1;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 179:       alert_set_q <= 1'b0;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 180:       ping_set_q  <= 1'b0;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 181:     end else begin</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 182:       state_q     <= state_d;</pre>
<pre style="b