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

I agree with Ben on the following:

2093 added checker_port_direction to checker_port_item, whereas 3113 changes port_identifier to formal_port_identifier.

The two Manti were not coordinated, but Draft 4 conforms to the intended result.

However, I did find another mistake.

In Syntax 16-5, formal_port_identifier appears twice:

formal_port_identifier ::= identifier // from A.9.3
formal_port_identifier ::= identifier // from A.2.10

For the second time, the reference to A.2.10 is not correct. It should be moved to the following line, which is the definition of sequence_instance.

Regards,
Shalom

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.