RE: [sv-ac] Draft 3 Review

With regard to Annex F, the only issue is that the editorial comments refers to Mantis item 3030 rather 3020. The text itself is just fine.

Regards,
Dana

From: Dana Fisman Ofek [mailto:dfisman@synopsys.COM]
Sent: Tuesday, November 15, 2011 10:27 AM
To: Korchemny, Dmitry; Dana Fisman Ofek
Cc: sv-ac@eda-stds.org; Stuart Sutherland
Subject: RE: [sv-ac] Draft 3 Review

Hi Dmitry,

Below are my comments for my assigned Mantis/Sections:

Mantis 3135: Fine.
But on the way I noticed that indentation is a little strange for Mantis 2552 - the lines with the syntax (e.g. nexttime property_expr) is indented more to the left than its English title (e.g. Weak nexttime) - this holds for all "operators" in Mantis 2522.

Annex F: Fine, only that there are unexplained references to Mantis item 3030 (which is not fixed yet) on the following pages"
p.1154, 1158, 1159, 1160x3

Regards,
Dana

On Wed, Nov 9, 2011 at 1:30 AM, Korchemny, Dmitry <dmitry.korchemny@intel.com<mailto:dmitry.korchemny@intel.com>> wrote:
Hi all,

Draft 3 is ready for review. You are requested to review Draft 3 sections and the implemented Mantis items as listed below. Please, confirm.

Name

Mantis

Sections

Eduard Cerny

3766

14, 17 - 17.3

Ben Cohen

2578

A

Dana Fisman

3135

F

Tapan Kapoor

37, 39

Jacob Katz

3191

16-16.8

Dmitry Korchemny

3722, 2556

16.13.15 - 16.15.5

Scott Little

2732

22, Annex B, C, P

Manisha Kulshrestha

20

Anupam Prabhakar

2412

16.9

Erik Seligman

3385

17.4 - End

Samik Sengupta

16.10 - 16.13.14

 Tom Thatcher

2722

16.15.6 - End

Thanks,
Dmitry
---------------------------------------------------------------------
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.
---------------------------------------------------------------------
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.