In reply to dave_59:
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) - SystemVerilog - Verification Academy
@dave_59
How did you conclude that there are 256 solutions where we_e is true? What do you mean? Does this mean the above constraint does not work?