RE: [sv-ac] Draft7a review

Hi,
 
I have cross-reviewed sections 14 and 16.5 and found no issues.
 
 
I have reviewed Mantis 2100 and found that the following is missing:
 
F.5.1.2 Rewrite rules for properties

*Tp(sync_accept_on(b) p, c) = ( (accept_on(b && c) Tp(p, c)).

 

This is mentioned in the bottom of page 8 of
2100_SynchronousAborts_080318dk_yf.pdf
<http://www.eda-twiki.org/svdb/file_download.php?file_id=3505&type=bug>
(F.3.1.2).

 

I have inserted a bug note for it (#7686) and changed Mantis 2100 to be
in the editor state.

 

Regards,

Yaniv

 


________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Wednesday, October 22, 2008 18:31
To: sv-ac@eda.org
Subject: [sv-ac] Draft7a review



Hi all,

 

This is a reminder to review Draft7a (same guidelines as for Draft7):

 

*         Everybody to review the implementation of the Mantis items he
or she owns.

*         Cross-review:

o   YF: 14, 16.5, 16.5

o   EC: 16 (beginning) - 16.4

o   ES: 16.8-16.10

o   JH: 16.11-16.14

o   LP: 16.15

o   DK: 16.16 - 16 (end)

o   MK: 16.6, Clause 20, Annex Q

o   BT: Clauses 37, 39, Annex O

o   TT: Annex A

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