 default: begin</pre>
<pre style="background-color: #C0C0C0; margin:0; padding:0 "> 706:         reg_rdata_next = '1;</pre>
<pre style="margin:0; padding:0 "> 707:       end</pre>
<pre style="margin:0; padding:0 "> 708:     endcase</pre>
<pre style="margin:0; padding:0 "> 709:   end</pre>
<pre style="margin:0; padding:0 "> 710: </pre>
<pre style="margin:0; padding:0 "> 711:   // Assertions for Register Interface</pre>
<pre style="margin:0; padding:0 "> 712:   `ASSERT_PULSE(wePulse, reg_we)</pre>
<pre style=