     property wmask_bytealign_p(wmask_byte, clk, rst_n);</pre>
<pre style="margin:0; padding:0 "> 498:       @(posedge clk) disable iff (rst_n == 0)</pre>
<pre style="margin:0; padding:0 "> 499:         msg_fifo_req & msg_fifo_we |-> wmask_byte inside {'0, '1};</pre>
<pre style="margin:0; padding:0 "> 500:     endproperty</pre>
<pre style="margin:0; padding:0 "> 501: </pre>
<pre style="margin:0; padding:0 "> 502:     for (genvar i = 0 ; i < 4; i++) begin: gen_assert_wmask_bytealign</pre>
<pre style="margin: