[sv-ec] 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 14:38:33 2012