RE: [sv-ac] Draft2 review

Hi Ben,

I could not find a reference to Mantis 2901 in A.10.

Thanks,
Dmitry

From: ben cohen [mailto:hdlcohen@gmail.com]
Sent: Thursday, August 11, 2011 21:19
To: Korchemny, Dmitry
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] Draft2 review

I reviewed 14, and all updates are OK
I reviewed Annex A.
  1 Correction needed:
-- A.4.1.4 Checker instantiation, The reference in the note is incorrect.
  It currently reads: D2, Mantis 2256
  it SHOULD read: D2, Mantis 2556
- A.9.3. The reference in the note is incorrect.
  It currently reads: D2, Mantis 2256
  it SHOULD read: D2, Mantis 2556

- In A.10 Footnotes (normative)
Item 13 should have a BAR to indicate a change (mantis 2901); should it be in blue since it's also an addition?
Ben Cohen

On Thu, Aug 11, 2011 at 5:32 AM, Korchemny, Dmitry <dmitry.korchemny@intel.com<mailto:dmitry.korchemny@intel.com>> wrote:
Hi all,

I reviewed subclauses 16.13.15 - 16.15.5 of the draft and found the following issues:

In subclauses 16.9.11, 16.14.5, and 16.14.6 it is written:

To detect the end point, the triggered method may be applied to a named sequence instance, with or without arguments, or a formal argument of sequence type, where such is allowed, as follows:
sequence_instance.triggered
formal_argument_sequence.triggered

To detect the end point, the matched method may be applied to a named sequence instance, with or without arguments, or a formal argument of sequence type, where such is allowed, as follows:
sequence_instance.matched
formal_argument_sequence.matched

These methods are invoked using the following syntax:
sequence_instance.sequence_method
formal_argument_sequence.sequence_method

I think that in all these places it is better to add or between the syntax alternatives:
sequence_instance.sequence_method
or
formal_argument_sequence.sequence_method
etc.

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.