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

Hi Ben,

I captured your note about misplaced braces. What is wrong in your last comment about inconsistencies in Mantises 3113, 2093 and corrections in 1800'D4?

I suggest you to open a separate Mantis item regarding your first note. I think that it should be owned by SV-BC.

Thanks,
Dmitry

From: ben cohen [mailto:hdlcohen@gmail.com]
Sent: Tuesday, January 03, 2012 21:10
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

On Tue, Jan 3, 2012 at 9:36 AM, Korchemny, Dmitry <dmitry.korchemny@intel.com<mailto:dmitry.korchemny@intel.com>> wrote:
Hi all,

You are requested to review Draft 4 until 15-Jan-2011. If you find a problem, move the corresponding Mantis item to Editor status. Otherwise, do nothing. Please, notify me about the results of your review.

Assignments:
Name

Mantis

Clauses

Eduard Cerny

20, 22

Ben Cohen

Annex A

Dana Fisman

17 - 17.3

Tapan Kapoor

Annex F

Jacob Katz

3191, 3069

16-16.8

Dmitry Korchemny

3213, 3033, 3113, 2093

Annex B, C, P

Scott Little

2328

16.12.15 - 16.14.5

Manisha Kulshrestha

3295

14, 37, 39

Anupam Prabhakar

3564, 2412

16.9

Erik Seligman

3206, 3145, 2476

17.4 - End

Samik Sengupta

16.10 - 16.12.14

 Tom Thatcher

16.14.6 - End

Thanks,
Dmitry
---------------------------------------------------------------------
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<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
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.