Hi Sitvanit, I reviewed the LRM and found. I think the section on Local variables is a little weak in describing what conditions can create errors or failures. There is an example to show the use of free, but it is not clear how to exactly apply it and what its impact is on the local variable values on merging parallel branches. Other than that section, it looks ok. Surrendra -----Original Message----- From: owner-ieee-1850@eda.org [mailto:owner-ieee-1850@eda.org] On Behalf Of Sitvanit Ruah Sent: Sunday, July 26, 2009 1:50 AM To: ieee-1850@eda.org Subject: [$ieee-1850] Draft D3 uploaded Hi all, Draft D3 was uploaded to http://www.eda-stds.org/ieee-1850/docs/P1850-D3-2009.pdf (same password). The draft incorporates comments received from Dana and Lyes and several additional small editorial changes. 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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Jul 28 12:52:44 2009
This archive was generated by hypermail 2.1.8 : Tue Jul 28 2009 - 12:52:59 PDT