RE: [sv-ac] RE: Call to vote: Due April 25 (resend, without 3069)

Thanks Samik, I'll update the proposal.
 
Manisha

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Samik Sengupta
Sent: Tuesday, April 26, 2011 5:43 AM
To: Korchemny, Dmitry; 'sv-ac@eda-stds.org'
Subject: [sv-ac] RE: Call to vote: Due April 25 (resend, without 3069)

Mantis 3213 __X__ Yes ____ No

http://www.verilog.org/mantis/view.php?id=3213

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

Mantis 3295 __X__ Yes ____ No

http://www.verilog.org/mantis/view.php?id=3295
<http://www.verilog.org/mantis/view.php?id=3295>

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

Friendly (but essential edit):

Unless I am mistaken or looking at an older version of the proposal, the
definitions of $asserton/off/kill in page 5 are wrong. For example, the
proposal says :

n $asserton[(levels[, list])] == $assertcontrol(2, 7, 7, levels
[,list])

whereas it should be

n $asserton[(levels[, list])] == $assertcontrol(3, 7, 7, levels
[,list])

Mantis 3491 __X__ Yes ____ No

http://www.verilog.org/mantis/view.php?id=3491

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

Thanks,
Samik

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Thursday, April 21, 2011 6:26 AM
To: 'sv-ac@eda-stds.org'
Subject: [sv-ac] Call to vote: Due April 25 (resend, without 3069)

-You have until 11.59 pm PDT, Wednesday, April 25, 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 April 12, 2011 meeting, the eligible voters are:

Ashok Bhatt

Laurence Bisht

Eduard Cerny

Dana Fisman

Tapan Kapoor

Jacob Katz

Scott Little

Manisha Kulshrestha

Anupam Prabhakar

Erik Seligman

Samik Sengupta

Tom Thatcher

Mantis 3213 ____ Yes ____ No

http://www.verilog.org/mantis/view.php?id=3213

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

Mantis 3295 ____ Yes ____ No

http://www.verilog.org/mantis/view.php?id=3295

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

Mantis 3491 ____ Yes ____ No

http://www.verilog.org/mantis/view.php?id=3491

http://www.eda-stds.org/mantis/file_download.php?file_id=4925&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 <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.