Dear Group, Some guidelines on what was changed in the new LRM compared to the LRM of P1850-2005. There are change bars throughout the document. The main changes are: - section 5.2.1 - HDL expressions - New sections on Local variables (Section 6.3) and Procedural blocks (6.4). - Chapter 7 - changes in the verification directives and new architecture of vunits. - Changes in syntax boxes througout the document for the above changes. - Annex B - All the LRM issues - group L.1 listed in http://www.eda-stds.org/ieee-1850/Issues/issues.html Hope this will make the review easier. Regards, Sitvanit Sitvanit Ruah Formal Verification Group IBM Haifa Research Laboratory Tel: 972-4-828-1249 ----- Forwarded by Sitvanit Ruah/Haifa/IBM on 07/07/2009 15:03 ----- Harry Foster <harrydavidfoster @gmail.com> To Sent by: ieee-1850@eda.org owner-ieee-1850@e cc da.org Subject [$ieee-1850] New P1850 LRM Draft 30/06/2009 20:26 Ready for Review Hi Group, A PDF password protected draft for the new P1850 is now ready for review. You can download the file at: http://www.eda-stds.org/ieee-1850/docs/P1850-D1-2009.pdf If you are an active member of the P1850 working group, and want to participate in the review process, then send me an email and I will send you the password information. The next P1850 full working group meeting will discuss the draft LRM review process. Best regards, -Harry -- 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 7 05:20:31 2009
This archive was generated by hypermail 2.1.8 : Tue Jul 07 2009 - 05:20:41 PDT