RE: Email Ballot due Monday June 18th

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>

Mark Hartoog

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 - see notes below

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

No - see notes below

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

4126:

I think some of the wording changes are confusing. For example:

a) Executes one or more for_initialization assignments, which are normally used to initialize a variable that controls the number of times the loop is executed.
Is changed to:

a) Executes one or more for_initialization assignments, which are normally used to initialize a variable that controls the number of times the loop is executed. If no initialization assignments are desired, the for_initialization may be omitted.

This now says, you execute one or more initialization assignments, then says you can omit the initialization assignments. How do you execute one or more initialization assignments when they are omitted. The intent is clear, but the language is too fuzzy.

4145:

I agree that this section of the LRM is poorly worded and unclear, but I do not agree that it can be just removed. What does a bind to module name do if you have two modules of the same name in different libraries using a library mapping file and configurations? This is what I thought variation meant.

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