[sv-ec] RE: Can a bins_selection contain multiple matches clauses?

Apologies. I misunderstood. I had a quick discussion with Matt to help me clarify the question. It is expected that a user could write something like:

bins plum = X with (a+b > 12) matches (127) || binsof(a.low) with (a & b & mask);

To me it feels cumbersome to always use the parens to surround the right hand operand of matches. Could we adjust the precedence of matches to remove that requirement?

Also, is it possible to fix the BNF error regarding integer_expression?

Thanks,
Scott

-----Original Message-----
From: Steven Sharp [mailto:sharp@cadence.com]
Sent: Monday, July 09, 2012 3:01 PM
To: Little, Scott; Brad Pierce; sv-ec@eda.org
Cc: John Havlicek
Subject: RE: Can a bins_selection contain multiple matches clauses?

This example does not have multiple matches clauses.

-----Original Message-----
From: Little, Scott [mailto:scott.little@intel.com]
Sent: Monday, July 09, 2012 5:56 PM
To: Steven Sharp; Brad Pierce; sv-ec@eda.org
Cc: John Havlicek
Subject: RE: Can a bins_selection contain multiple matches clauses?

I presume you are asking about the first question. Let's use the example from the mantis and change it slightly.

covergroup cg (input int val);
  coverpoint a
  {
    bins low[] = {[0:127]};
    bins high = {[128:255]};
  }
  coverpoint b
  {
    bins two[] = b with (item % 2 == 0)
    bins three[] = b with (item % 3 == 0)
  }
  X: cross a,b
  {
    bins apple = X with (a+b < 257) matches (127 + val);
  }
endgroup

Thanks,
Scott

-----Original Message-----
From: Steven Sharp [mailto:sharp@cadence.com]
Sent: Monday, July 09, 2012 2:39 PM
To: Little, Scott; Brad Pierce; sv-ec@eda.org
Subject: RE: Can a bins_selection contain multiple matches clauses?

Can you give an example of what you are talking about, along with what you think it would mean?

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Little, Scott
Sent: Monday, July 09, 2012 5:27 PM
To: Brad Pierce; sv-ec@eda.org
Subject: [sv-ec] RE: Can a bins_selection contain multiple matches clauses?

Yes, that was the intention. It could be more than && and || couldn't it? Couldn't it be things like + and -?

In reading the mantis 4129 I noticed a typo that I believe needs to be fixed. It was introduced due to an inconsistency in the mantis 2506 proposal (see ProposalforMantis2506_v19.pdf at http://www.eda.org/mantis/view.php?id=2506). Originally, the BNF item was integer_expression but was later changed to integer_covergroup_expression. I did a search and replace that missed an instance of integer_expression on page 22 with an extra space. The BNF on page 12 is correct (two integer_covergroup_expression items). When the mantis was implemented the integer_expression from page 22 was used and propagated into Clause 19. This should be fixed by changing all integer_expression items to integer_covergroup_expression. integer_expression isn't a valid BNF item as mentioned in the discussion on mantis 4129.

Thanks,
Scott

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Brad Pierce
Sent: Monday, July 09, 2012 10:03 AM
To: sv-ec@eda.org
Subject: [sv-ec] Can a bins_selection contain multiple matches clauses?

Regarding ballot issue, http://www.eda.org/svdb/view.php?id=4129 , and the production

  select_expression ::= ...
           | select_expression with ( with_covergroup_expression ) [ matches integer_covergroup_expression ]
           | ...

was it really intended, as the BNF indicates, that a select expression can contain many matches clauses by combining the smaller select_expressions that use them into larger ones with && and || ?

-- Brad
Received on Mon Jul 9 17:43:41 2012