RE: [sv-ac] Draft 4 Review (resend with correction of one more numbering issue pointed by Scott)

I updated Note 12906 of Mantis 3033 (also in Syntax 17-1).

Thanks,
Dmitry

From: Bresticker, Shalom
Sent: Friday, January 06, 2012 09:41
To: ben@systemverilog.us; Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: RE: [sv-ac] Draft 4 Review (resend with correction of one more numbering issue pointed by Scott)

I agree with Ben on the following item:

Page 493 and 1163, in Syntax 17-1-Checker declaration syntax and in A.1.2 Checker items

D4, Mantis 3033, Misplaced "{ }"

Change from:

checker_declaration ::=

checker checker_identifier [ ( [ checker_port_list ] ) ] ;

{ attribute_instance } { checker_or_generate_item }

endchecker [ : checker_identifier ]

to:

checker checker_identifier [ ( [ checker_port_list ] ) ] ;

{ { attribute_instance } checker_or_generate_item }

endchecker [ : checker_identifier ]

A similar case is the following:

package_declaration ::=
{ attribute_instance } package [ lifetime ] package_identifier ;
[ timeunits_declaration ] { { attribute_instance } package_item }
endpackage [ : package_identifier ]

I don't know whether the following should also be changed:

bins_or_empty ::=
{ {attribute_instance} { bins_or_options ; } }
| ;

I did not yet check Ben's other comments in this mail.

Regards,
Shalom

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of ben cohen
Sent: Tuesday, January 03, 2012 9:10 PM
To: Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] Draft 4 Review (resend with correction of one more numbering issue pointed by Scott)

Below are my comments on Annex A

Page 1161 of draft 4 EDITING FOR GRAMMAR

for example while an identifier which would qualify semantically as an array_identifier is created by a declaration, such declaration forms are not explicitly described using array_identifier in the syntax.

for example, while an identifier which that would qualify semantically as an array_identifier is created by a declaration, such declaration forms are not explicitly described using array_identifier in the syntax.

Page 493 and 1163, in Syntax 17-1-Checker declaration syntax and in A.1.2 Checker items

D4, Mantis 3033, Misplaced "{ }"

Change from:

checker_declaration ::=

checker checker_identifier [ ( [ checker_port_list ] ) ] ;

{ attribute_instance } { checker_or_generate_item }

endchecker [ : checker_identifier ]

to:

checker checker_identifier [ ( [ checker_port_list ] ) ] ;

{ { attribute_instance } checker_or_generate_item }

endchecker [ : checker_identifier ]

17.2 Checker declaration and A.1.8 Checker items

Inconsistencies in Mantis 3113, 2093, and corrections in 1800'd4

 3113f.pdf<http://www.eda-stds.org/svdb/file_download.php?file_id=5582&type=bug> [^<http://www.eda-stds.org/svdb/file_download.php?file_id=5582&type=bug>] (101,295 bytes) 2011-11-09

checker_port_item ::=

{ attribute_instance } property_formal_type formal_port_identifier port_identifier {variable_dimension}

[ = property_actual_arg ]

2093CheckerOutputs_111030_dk.pdf<http://www.eda-stds.org/svdb/file_download.php?file_id=5560&type=bug> [^<http://www.eda-stds.org/svdb/file_download.php?file_id=5560&type=bug>] (252,602 bytes) 2011-10-30

checker_port_item ::=

{ attribute_instance } [checker_port_direction] property_formal_type port_identifier{variable_dimension} Note to the Editor: No line break before {variable_dimension}

 [ = property_actual_arg ]

Page 1167, A.1.8 Checker items, 1800'd4,

checker_port_item ::=

{ attribute_instance } [ checker_port_direction ] property_formal_type formal_port_identifier

port_identifier

{variable_dimension} [ = property_actual_arg ]

Comment: I believe that the 1800'd4 has the correct intentions, but they do not conform with the mantises
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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