[sv-ac] RE: Call to vote: Due February 7

Hey Erik,

Following the new proposal definition:

Will 'e3' get inferred to p2 regardless of its content in the following example?

checker clocking_example ( logic sig1,sig2,rst, event e1,e2,e3 );

always @(rst or e3)
      begin: p2_block
local_sig <= rst;
            p2: assert property (sig1 == sig2);
      end
...
endchecker

Thanks,
Laurence

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Wednesday, February 02, 2011 5:45 PM
To: sv-ac@eda.org
Subject: [sv-ac] Call to vote: Due February 7

-You have until 11.59 pm PDT, Monday, February 7, 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 January 25, 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 2804 ____ Yes ____ No

http://www.eda-stds.org/svdb/view.php?id=2804
http://www.eda-stds.org/mantis/file_download.php?file_id=4751&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.
---------------------------------------------------------------------
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, and is
believed to be clean.