_set_q <= alert_set_d;</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 182:       ping_set_q  <= ping_set_d;</pre>
<pre style="margin:0; padding:0 "> 183:     end</pre>
<pre style="margin:0; padding:0 "> 184:   end</pre>
<pre style="margin:0; padding:0 "> 185: </pre>
<pre style="margin:0; padding:0 "> 186: </pre>
<pre style="margin:0; padding:0 "> 187:   ////////////////</pre>
<pre style="margin:0; padding:0 "> 188:   // assertions //</pre>
<pre style="margin:0; padding:0 "> 189:   /////