RE: [sv-ac] Draft 1 Review: Mantis 0805

Hi All,

I reviewed #805, and did not find any additional problems to Tej's list
below. 


Thx.
-Bassam.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Singh, Tej
Sent: Tuesday, February 06, 2007 11:49 AM
To: john.havlicek@freescale.com; sv-ac@eda-stds.org
Subject: [sv-ac] Draft 1 Review: Mantis 0805

There are few problems with 0805 edits in draft 1 listed below

- changes in Annex E.3.3 are not correct 
   --- line which has w |=d disable iff (b)P iff  some letter ...., has
P missing in the draft
   --- The last line (T is said to pass on w if .....) is missing
entitrely in the draft
 
- changes in Annex E.3.6.1 are not correct
  --- Line starting with w, L0 |=d disable iff (b) P iff ...., has P at
wrong place.

Regards
Tej


> -----Original Message-----
> From: owner-sv-ac@server.eda.org
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek
> Sent: Friday, February 02, 2007 5:49 AM
> To: sv-ac@server.eda-stds.org
> Subject: [sv-ac] proofreading assignments
> 
> All:
> 
> Here are the current assignments based on the volunteering and a few 
> adjustments.
> 
> 0508 (Dmitry Korchemny, Doron Bustan)
> 0805 (Tej Singh, Bassam Tabbara)
> 0928 (Lisa Piper, Bassam Tabbara)
> 1325 (Dmitry Korchemny, Bassam Tabbara)
> 1326 (John Havlicek, Yaniv Fais)
> 1346 (John Havlicek, Doron Bustan)
> 1347 (John Havlicek, Yaniv Fais)
> 1381 (Ed Cerny, Yaniv Fais)
> 1392 (Doron Bustan, Yaniv Fais)
> 1420 (Doron Bustan, John Havlicek)
> 1495 (Ed Cerny, Doron Bustan)
> 1510 (Tej Singh)
> 1518 (Ed Cerny)
> 1532 (Tej Singh)
> 
> 
> We still need secondary reviewers for 1510, 1518, and 1532.
> At this point, I am happy for any active member to volunteer for 
> these.
> 
> J.H.
> 
> --
> This message has been scanned for viruses and dangerous content by 
> MailScanner, and is believed to be clean.
> 
> 

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



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