"margin:0; padding:0 "> 713:   `ASSERT_PULSE(rePulse, reg_re)</pre>
<pre style="margin:0; padding:0 "> 714: </pre>
<pre style="margin:0; padding:0 "> 715:   `ASSERT(reAfterRv, $rose(reg_re || reg_we) |=> tl_o.d_valid)</pre>
<pre style="margin:0; padding:0 "> 716: </pre>
<pre style="margin:0; padding:0 "> 717:   `ASSERT(en2addrHit, (reg_we || reg_re) |-> $onehot0(addr_hit))</pre>
<pre style="margin:0; padding:0 "> 718: </pre>
<pre style="margin:0; padding:0 "> 719:   // this is formulated as an assumption su