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 {
    [0:5]:=6,
    [6:7]:=4
  };
}

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.

2 Likes