Constraint random variable

In reply to basilleaf:

rand byte unsigned  data;
constraint c1 {data == 32'h1;}