[sv-ac] RE: Call to vote: Due September 26 (resend with the correct Mantis number)

Hello Erik,

Thanks. I thought of that, although I did not check the mantis. I think it is okay to say just "immediate", although IMO in this case verbosity may be helpful. But I am fine either way.

Regards,
Samik

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Seligman, Erik
Sent: Friday, September 23, 2011 2:41 PM
To: 'sv-ac@eda-stds.org'
Subject: [sv-ac] RE: Call to vote: Due September 26 (resend with the correct Mantis number)

Samik- wrt #2- remember that where we define deferred & final assertions, we explicitly state that they are kinds of immediate assertions, so I think we're covered as long as we just talk about immediate. (I remember writing the defs that way explicitly to avoid later verbosity in situations like this.)

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Samik Sengupta
Sent: Friday, September 23, 2011 11:39 AM
To: Korchemny, Dmitry; 'sv-ac@eda-stds.org'
Subject: [sv-ac] RE: Call to vote: Due September 26 (resend with the correct Mantis number)

Mantis 3564 __X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3564 <http://www.eda-stds.org/mantis/view.php?id=2093%20>
http://www.eda-stds.org/mantis/file_download.php?file_id=5462&type=bug

Friendly amendments:

1. Only the condition checked in the immediate assertion should be added to the sensitivity list, i.e., nothing from action block should wake up the always_comb.

2. I think we should be more specific and say "Expressions used in immediate, final, and deferred assertions" - not only immediate.

I agree to Ed, Anupam, and Manisha that no expression from concurrent assertion, including the clock, should go into the sensitivity list.

Thanks,
Samik

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Korchemny, Dmitry
Sent: Wednesday, September 21, 2011 12:12 PM
To: 'sv-ac@eda-stds.org'
Subject: [sv-ac] Call to vote: Due September 26 (resend with the correct Mantis number)

-You have until 11:59 pm PDT, Monday, September 26, 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 September 20, 2011 meeting, the eligible voters are

Ashok Bhatt

Eduard Cerny

Ben Cohen

Dana Fisman

Tapan Kapoor

Jacob Katz

Scott Little

Manisha Kulshrestha

Anupam Prabhakar

Erik Seligman

Samik Sengupta

Tom Thatcher

Mantis 3564 ____ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3564 <http://www.eda-stds.org/mantis/view.php?id=2093%20>
http://www.eda-stds.org/mantis/file_download.php?file_id=5462&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<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.