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

From: ben cohen <hdlcohen@gmail.com>
Date: Tue Jan 03 2012 - 11:09:47 PST

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> 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.
>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Jan 3 11:10:47 2012

This archive was generated by hypermail 2.1.8 : Tue Jan 03 2012 - 11:10:55 PST