/////////</pre>
<pre style="margin:0; padding:0 "> 491:   // Assertions, Assumptions, and Coverpoints //</pre>
<pre style="margin:0; padding:0 "> 492:   //////////////////////////////////////////////</pre>
<pre style="margin:0; padding:0 "> 493: </pre>
<pre style="margin:0; padding:0 "> 494: `ifndef VERILATOR</pre>
<pre style="margin:0; padding:0 "> 495: `ifndef SYNTHESIS</pre>
<pre style="margin:0; padding:0 "> 496:   // HMAC assumes TL-UL mask is byte-aligned.</pre>
<pre style="margin:0; padding:0 "> 497: