[sv-ac] RE: Call to vote: Due September 12 (resend with correct version of the proposal)

Hi Anupam,

Please, see my comments below.

Thanks,
Dmitry

From: Prabhakar, Anupam [mailto:anupam_prabhakar@mentor.com]
Sent: Tuesday, September 13, 2011 01:23
To: Korchemny, Dmitry
Subject: RE: Call to vote: Due September 12 (resend with correct version of the proposal)

Mantis 2093 __X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=2093 <http://www.eda-stds.org/mantis/view.php?id=2093%20>
http://www.eda-stds.org/mantis/file_download.php?file_id=5406&type=bug

Friendly amendments

Should this be written using 'may be' ?
A formal argument of a checker is optionally preceded ....
A formal argument of a checker may be optionally preceded ....
[Korchemny, Dmitry] Done.

Should we clarify input here ?
Otherwise, if the argument is the first argument of the checker, it is assumed to be untyped.
Otherwise, if the argument is the first argument of the checker, it is assumed to be input untyped.
[Korchemny, Dmitry] Done. The original statement is also accurate as it is written above that if the direction of the first argument is omitted it defaults to input.

Should this be 'Similar to' ?
Similarly to sequences and properties ....
Similar to sequences and properties ....
[Korchemny, Dmitry] Fixed. I wrote earlier to Manisha that there are many examples of "similarly to..." in the LRM, but looking at it once more I got convinced that 'similar to' is correct here.

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