Coverpoint for dist

HI All,

constraint on a 3 bit variable with distribution 60% for 0 to 5 and 40% for 6,7

constraint c1{
  addr dist {

I would like to write a coverpoint/bins for the above requirement. Could you please help me?

Thank You,

A dist constraint is not a requirement, it is a probability.