[sv-ac] RE: Call to vote: Due March 2

Hi Dmitry, my vote is as follows:

Mantis 2476 _X___ Yes ____ No
http://www.verilog.org/mantis/view.php?id=2476
http://www.eda-stds.org/mantis/file_download.php?file_id=4816&type=bug

Mantis 2804 ____ Yes __X__ No

http://www.eda-stds.org/svdb/view.php?id=2804
http://www.eda-stds.org/mantis/file_download.php?file_id=4814&type=bug

I vote no on 2804, as I find rules 1 and 2 under (c) a little strange

c) Within the event control of the procedure, there is exactly one event expression that satisfies both of

the following conditions:

1) The event expression consists solely of an event variable, consists solely of a clocking block event, or is of the form edge_identifier expression1 [ iff expression2 ] and is not a proper subexpression of an event expression of this form.
2) No term in expression1 appears anywhere else in the body of the procedure. other than as a clocking event or within assertion statements.

suppose that in (1) it is an event variable. According to (c) it has to satisfy both 1 and 2. How can an event variable ever satisfy (2)? there is no expression1 or edge_identifier.

It would seem to me that e3 could be inferred in p3a.

thanks
ed

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Wednesday, February 23, 2011 1:55 PM
To: sv-ac@eda.org
Subject: [sv-ac] Call to vote: Due March 2

-You have until 11.59 pm PDT, Monday, March 2, 2011 to respond

-An issue passes if there are zero NO votes and half of the eligible

  voters respond with a YES vote.

-If you vote NO on any issue, your vote must be accompanied by a reason.

  The issue will then be up for discussion during a future conference

call.

As of the February 15, 2011 meeting, the eligible voters are:

Ashok Bhatt

Laurence Bisht

Eduard Cerny

Ben Cohen

Tapan Kapoor

Scott Little

Manisha Kulshrestha

Anupam Prabhakar

Erik Seligman

Samik Sengupta

Tom Thatcher

Mantis 2476 ____ Yes ____ No
http://www.verilog.org/mantis/view.php?id=2476
http://www.eda-stds.org/mantis/file_download.php?file_id=4816&type=bug

Mantis 2804 ____ Yes ____ No

http://www.eda-stds.org/svdb/view.php?id=2804
http://www.eda-stds.org/mantis/file_download.php?file_id=4814&type=bug
---------------------------------------------------------------------
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.