Prime numbers constraint

In reply to pradeepD:

You could simply constraint lower 4 bits to be 7


constraint LSB_7 { rand_var[3:0] == 7 ; }