[sv-ac] RE: Call to vote: Due August 22

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

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

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

I am confused about the following, hence a possible amendment: "the underlying evaluation attempt of property_expr1 is true" should be "the underlying evaluation attempt of property_expr1 is nonvacuous" - no? At least that's what seems to be proposed in F.5.3.3.

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

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

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

Thanks,
Samik

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Tuesday, August 16, 2011 4:23 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Call to vote: Due August 22

-You have until 11:59 pm PDT, Monday, August 22, 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 August 16, 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 2328 ____ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=2328
http://www.eda-stds.org/mantis/file_download.php?file_id=5319&type=bug

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

Mantis 2578 ____ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=2578

http://www.eda-stds.org/mantis/file_download.php?file_id=5326&type=bug

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

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

Mantis 3385 ____ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3385
http://www.eda-stds.org/mantis/file_download.php?file_id=5281&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.