In reply to scorbetta:
I’m seeing that wr_en is almost always true. That’s because there are 256 solutions where wr_en is true, and only one solution for wr_en to be false.
See Randomization result with and without (solve x before y) | Verification Academy