Probabilistic function in Verilog

In reply to sush:

See Why dist constraint doesnt produce exact solution? | Verification Academy

Also, use $urandom and $urandom_range instead of $random and $dist_uniform. They have much better distributions.