RE: [sv-ac] Call to vote: Due November 1

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

Sorry for being late but I think we had voted on this proposal. And the reason that I had voted NO on this was:
=============================
I think it sort of contradicts the following para on page 318 (Section 16.6 - the para just before 16.6.1)
------
The disable condition specified in the disable iff clause will preempt the evaluation of the assertion in a
time step where a is 1 and the sampled value function returns a 1 as determined by the rules of evaluation
for use outside sequences described in 16.9.3.
-----------

Has something discussed/decided later-on this?

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

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

Warm regards,

Tapan

"You must be the change you want to see in the world" : Mahatma Gandhi

>-----Original Message-----
>From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
>Thomas J Thatcher
>Sent: Wednesday, October 27, 2010 10:49 PM
>To: sv-ac@eda.org
>Subject: [sv-ac] Call to vote: Due November 1
>
>-You have until 11.59 pm PDT, Monday, November 1, 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.
>
>
>As of the June 8, 2010 meeting, the eligible voters are:
>
>Laurence Bisht
>Eduard Cerny
>Ben Cohen
>John Havlicek
>Tapan Kapoor
>Scott Little
>Manisha Kulshrestha
>Anupam Prabhakar
>Erik Seligman
>Samik Sengupta
>Tom Thatcher
>
>Mantis 2904 ____ Yes ____ No
>http://www.eda-stds.org/svdb/view.php?id=2904
>http://www.eda-stds.org/svdb/file_download.php?file_id=4567&type=bug
>
>
>Mantis 3135 ____ Yes ____ No
>http://www.eda-stds.org/svdb/view.php?id=3135
>http://www.eda-stds.org/svdb/file_download.php?file_id=4621&type=bug
>
>
>
>Mantis 2412 ____ Yes ____ No
>http://www.eda-stds.org/svdb/view.php?id=2412
>http://www.eda-stds.org/svdb/file_download.php?file_id=4624&type=bug
>
>
>Tom
>
>--
>This message has been scanned for viruses and
>dangerous content by MailScanner, and is
>believed to be clean.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.