[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 10:03:12 2012