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

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

Thanks,
Dmitry

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

Looks good, successfully addresses the issue in my vote. Except that I think it needs one more tweak:

"All static deferred assertions in the checker are monitored each time the procedure of the checker instantiation is executed. "
The checker instantiation may not be visited if in an if, case, etc. So I think we need to say:
"All static deferred assertions in the checker are monitored each time the checker instantiation is reached in procedural execution. "

From: Korchemny, Dmitry
Sent: Wednesday, August 24, 2011 11:26 PM
To: Seligman, Erik; sv-ac@eda-stds.org
Subject: 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.