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

On 04/21/11 03:25, Korchemny, Dmitry wrote:
> -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 __x__ 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>
>
>
I do not agree to the deprecation of the $sampled system function. This
function is used by everyone who writes assertions, because any message
in an action block must use $sampled to display the value of the
variable that was used in the assertion evaluation. The deprecation of
this function means re-training everyone who writes assertions.

Most assertion authors are writing assertions for simulation
environments, not for formal verification. They will probably never use
  constructs like random checker variables. The benefits of this change
will be seen only be the few people who use these advanced constructs.

Another reason to keep $sampled is that the name is much more intuitive
than $concurrent.

>
> Mantis 3295 __x__ 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
> <http://www.eda-stds.org/mantis/file_download.php?file_id=4933&type=bug>
>
>
>
> 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>
>
> ---------------------------------------------------------------------
> 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.