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. 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.