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

Hi Erik,

I uploaded the updated version: http://www.eda-stds.org/mantis/file_download.php?file_id=5362&type=bug.

Regards,
Dmitry

From: Seligman, Erik
Sent: Thursday, August 25, 2011 01:35
To: Korchemny, Dmitry; sv-ac@eda-stds.org
Subject: RE: Call to vote: Due August 29

My votes below.

Mantis 2476 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=2476
http://www.eda-stds.org/mantis/file_download.php?file_id=5355&type=bug

Mantis 2578 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=2578

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

Friendly amendment: need an 'and' after the comma.

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

I think we still have problems in the bulleted list in 17.3.1. We say 'the following applies for static concurrent assertions in the checker' at the top-we should remove the word 'concurrent', since we talk about deferred assertions too. But more importantly, I think each of the three bullet points should discuss the situations for concurrent and deferred assertions: having the first two apply just to concurrent and the third apply to both makes the section a bit confusing.

Mantis 3113 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3113

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

Mantis 3206 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3206
http://www.eda-stds.org/mantis/file_download.php?file_id=5357&type=bug

Mantis 3385 _X__ Yes ____ No
http://www.eda-stds.org/mantis/view.php?id=3385
http://www.eda-stds.org/mantis/file_download.php?file_id=5352&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.