RE: Email Ballot due Monday June 18th

M y votes
ID<view_all_set.php?sort=id&dir=ASC&type=2&print=1>

Summary<view_all_set.php?sort=summary&dir=ASC&type=2&print=1>

 Francoise Martinolle

0003525<view.php?id=3525>

2012 Ballot comment 41: property_statement should not be part of property_expr

Yes

0004045<view.php?id=4045>

2012 Ballot comment 43: checker_declaration BNF does not allow nested checker declaration

Yes

0003968<view.php?id=3968>

2012 Ballot comment 38: sequence_formal_type includes redundant 'event'

Yes

0003505<view.php?id=3505>

2012 Ballot comment 60: $ missing from param_expression

Yes

0004126<view.php?id=4126>

2012 Ballot comments 34, 35: allow for-loop initialization, step, termination statements to be null

 NO - I agree with Mark notes, it should say execute zero or more

0004146<view.php?id=4146>

2012 Ballot comment 10: confusing definitions on p2

Yes

0004145<view.php?id=4145>

2012 Ballot comment 13. What does "variation" mean in 23.11

 Abstain. I am not sure if this can be removed. If it is illegal which rule do we use to find the module target?

0003127<view.php?id=3127>

2012 Ballot comment 57: cbStartOfReset and cbEndOfReset callbacks are not documented

Yes

0004120<view.php?id=4120>

2012 Ballot comments 21,27: mistake in 6.6.8 code example of generic interconnect from 0003724<view.php?id=3724>

Yes

0004127<view.php?id=4127>

2012 Ballot comments 23, 48: difference between BNF and example whether data_type appears before or after cover_point_identifier

Yes

0003710<view.php?id=3710>

2012 Ballot comment 32: Example may work wrong, negative values may be generated while positive expected when using $random %

Yes

0003982<view.php?id=3982>

2012 Ballot comment 36: clocking_decl_assign allows expression or just hierachical_identifier

Yes

0003065<view.php?id=3065>

2012 Ballot comment 59: Peculiar BNF for hierarchical_btf_identifier

Yes

0002840<view.php?id=2840>

2012 Ballot comment 28: Virtual interface datatype BNF incomplete

Yes

0004138<view.php?id=4138>

2012 Ballot comment 53: cross type compatibility inconsistency

Yes

0004129<view.php?id=4129>

2012 Ballot comment 50: Need to clarify ambiguous binding of matches operator

Yes

0003298<view.php?id=3298>

2012 Ballot comment 24: Use of 'this' in a coverpoint expression

Yes

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.