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

SVDB 2205 _X_Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2205

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

Friendly amendment: For the change to 20.12, add reference for expect
because it seems strange to have a reference for assertions and not for
expect statement.

SVDB 2571 _X_Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2571
<http://www.eda-stds.org/mantis/view.php?id=2571>

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

SVDB 3035 ___Yes _X_No

http://www.eda-stds.org/mantis/view.php?id=3035
<http://www.eda-stds.org/mantis/view.php?id=3035>

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

I think that rule proposed for sampling the RHS of checker NBAs needs to
be scrutinized for interaction with enveloping procedural constructs
that the writers of checker modeling code are going to need. I am
worried that this is a step down a complicated path and that we should
look for a simpler overall solution to the problem. Some motivating
examples that show the interaction between checker modeling code and
non-checker modeling code will be useful.

Also, I am not convinced by the motivation for the mantis. I think that
a const cast could be added to $inferred_disable, either as a default
actual argument or as an explicit actual argument to avoid sampling of
the inferred rst signal.

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, August 24, 2010 3:12 PM
To: sv-ac@eda.org
Subject: [sv-ac] Call to vote. Due August 30

-You have until 11.59 pm PDT, Monday, August 30, 2010 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.
-Note: For some issues, the proposed action is captured in the bug note
       (resolve as duplicate, already addressed, etc.).
 
As of the August 10, 2010 meeting, the eligible voters are:
 
Laurence Bisht
Eduard Cerny
Ben Cohen
Surrendra Dudani
John Havlicek
Tapan Kapoor
Manisha Kulshrestha
Scott Little
Anupam Prabhakar
Erik Seligman
Samik Sengupta
Tom Thatcher
 
SVDB 2205 ___Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2205

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

SVDB 2571 ___Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2571
<http://www.eda-stds.org/mantis/view.php?id=2571>

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

SVDB 3035 ___Yes ___No

http://www.eda-stds.org/mantis/view.php?id=3035
<http://www.eda-stds.org/mantis/view.php?id=3035>

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