Hi all, We cannot give more time to the review because of availability of people and the deadline of RevCon. So please send all your comments by July 28. The LRM should be ready for ballot in about 30 days. We would like to have a full committee meeting on July 28, but this is DAC week, so please let me know if you can attend on this day. Please write also your availability on Tue Aug 4. Regards, Sitvanit Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory Tel: 972-4-828-1249 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jul 16 04:17:13 2009
This archive was generated by hypermail 2.1.8 : Thu Jul 16 2009 - 04:17:19 PDT