harry, >Also, I would appreciate a good review of Annex A, the BNF. I'm >worried about its accuracy. the definition of PSL_Identifier seems to be missing. (i can't take credit for being so observant: i happened to be going over some old emails and found such a comment from klaus from quite some time ago - it seems that it still has not been addressed.) cindy. -------------------------------------------------------------------- Cindy Eisner Formal Methods Group IBM Haifa Research Laboratory Haifa 31905, Israel Tel: +972-4-8296-266 Fax: +972-4-8296-114 e-mail: eisner@il.ibm.com "Harry D. Foster" <harrydfoster@comcast.net>@eda.org on 17/03/2005 05:23:23 Sent by: owner-ieee-1850@eda.org To: ieee-1850@eda.org cc: Subject: [$ieee-1850] IEEE 1850 PSL LRM draft 5.... Hi Group, You can now download the latest draft for the IEEE 1850 LRM at: http://www.eda.org/ieee-1850/docs/IEEE-1850-PSL-DRAFT-Mar-16.pdf The latest draft removes 'endpoints' from the language. There were other minor edits that occurred. Note that change bars are turned on for all edits. Also note that I still see a few minor spacing problems I want to fix (like before Box 47). If you see other spacing problems--please let me know. Also, I would appreciate a good review of Annex A, the BNF. I'm worried about its accuracy. Best regards, -Harry --- Harry D. Foster Chief Methodologist Jasper Design Automation http://www.jasper-da.com Tel: +1 650.966.0239 Cell: +1 650.804.5000Received on Thu Mar 17 01:44:53 2005
This archive was generated by hypermail 2.1.8 : Thu Mar 17 2005 - 01:44:58 PST