RE: [sv-ac] Draft7 cross-review

Hi Lisa,

 

Yes, the first item is editorial. I suggest opening new Mantis items for
last two items, my understanding is that they would have to be addressed
for the next PAR, but I will check it with Neil.

 

Dmitry

 

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Tuesday, September 30, 2008 11:20 PM
To: Korchemny, Dmitry
Cc: Seligman, Erik; sv-ac@eda.org
Subject: RE: [sv-ac] Draft7 cross-review

 

Hi Dmitry,

 

I have reviewed 16.15.

 

EDITORIAL???

1.	16.15.6.2:  The reference to the section in IEEE-2005 should be
17.13, not 16.14  (I added a note to 2398 from SV-SC.

 

 

NEW MANTIS ITEMS??:

2.	16.15.1 describes an assert statement as a checker.  This might
be confusing with the new "checker" keyword.
3.	16.15.5 says a concurrent assertion statement is an assert,
assume, or cover.  It can also be a restrict.

 

Lisa

 

 

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, September 23, 2008 8:03 AM
To: sv-ac@eda.org
Subject: [sv-ac] Draft7 cross-review

 

Hi all,

 

Please, find below assignments for Draft7 cross-review. It is important
both to verify the changes and to make sure that the existing stuff
remains relevant taking into account latest changes introduced by SV-AC
and by SV-SC, There is no need to proofread the new stuff added by
SV-SC.

 

In case you find problems, please, add a note to a corresponding Mantis
item. If the problem is not editorial, open a new Mantis item and send
an email.

 

When your review is completed, please, send a separate notification even
if no problems are found. Send also a notification in case you are
unable to make the cross-review.

 

 

Assignments:

 

*         YF: 14, 16.5, 16.5

*         EC: 16 (beginning) - 16.4

*         ES: 16.8-16.10

*         JH: 16.11-16.14

*         LP: 16.15

*         DK: 16.16 - 16 (end)

*         MK: 16.6, Clause 20, Annex Q

*         BT: Clauses 37, 39, Annex O

*         TT: Annex A

*         DB: 16.7, Annex F

 

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. 

---------------------------------------------------------------------
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.