Hi Folks: An agenda is below. Please let me know if other items should be added. D.K. Meeting reminder for IEEE P1800 SV-AC meeting #2007-50: Date: 2008-04-08 Time: 16:00 UTC (09:00 PDT) Dialin information: ------------------- Toll number: +1 916-356-2663 Toll free number (US): 888-875-9370 (U.S. toll-free), Bridge: 4, Passcode: 4055590 Agenda: ------- - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt Ballot results: 1503 passed, there were late comments from LP. Addressing champions' feedback: 2336 SV-AC VPI part of 1757 Passed 2335 SV-AC Minor fix for 1641 Passed 1932 SV-AC Introduce LTL and other temporal operators Passed with the following friendly amendments: Friendly amendments Shalom - LTL Page 6, extra comma on page 6 (blue text) Shalom - There are about 10 instances of const_expression. They should probably all be constant_expression. See example on page 11, ltl doc, nexttime Editor issue - fuscia on page 16 - no note. fuscia is blue in 1757 Working items: . 1503 - 27.33 VPI diagram of propertyinst has no vpiArgument Other: SV-SC meeting update Opens. --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Apr 22 00:57:22 2008
This archive was generated by hypermail 2.1.8 : Tue Apr 22 2008 - 00:57:39 PDT