ch that the FPV testbenches do disprove this</pre>
<pre style="margin:0; padding:0 "> 720:   // property by mistake</pre>
<pre style="margin:0; padding:0 "> 721:   `ASSUME(reqParity, tl_reg_h2d.a_valid |-> tl_reg_h2d.a_user.parity_en == 1'b0)</pre>
<pre style="margin:0; padding:0 "> 722: </pre>
<pre style="margin:0; padding:0 "> 723: endmodule</pre>
<pre style="margin:0; padding:0 "> 724: </pre>
</body>
</html>
