Hi Folks: Following JH tradition I am not counting attendance for today's meeting since there was no preliminary notice issued. Please, let me know if changes are required. Minutes of IEEE P1800 SV-AC meeting #2007-47 Written by: Dmitry Korchemny Date: 2008-03-20 Time: 14:00 UTC (07:00 PDT) Dialin information: ------------------- Toll number: +1 916-356-2663 Toll free number (US): 888-875-9370 (U.S. toll-free), Bridge: 4, Passcode: 7188980 Agenda: ------- Attended: DB, YF, JH, DK, ES, TT. - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt Voice vote: * 2173 Add case construct for properties (updated version) 5y/0n/0a * 2326 VPI diagram for the property case (extracted from 2173) 5y/0n/0a * 2327 Vacuity part of 2173 5y/0n/0a * 1932 Introduce LTL and other temporal operators (updated version: next -> nexttime) 5y/0n/0a * 1806 Restrict property statement (made consistent with 1987) 5y/0n/0a * 2335 Minor fix for 1641 (addressing SB comments) 5y/0n/0a * 2069 Formal semantics for coverage is missing (approve the fix of the friendly amendment) 5y/0n/0a Ballot results: 2069 Formal semantics for coverage is missing * Passed with one friendly amendment: "Change the last word of the proposal from "words" to "word"." Opens. The next SV-AC meeting will occur on Tuesday, 2008-03-25 at 16:00 UTC (9:00 AM PDT). --------------------------------------------------------------------- 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 Thu Mar 20 08:29:00 2008
This archive was generated by hypermail 2.1.8 : Thu Mar 20 2008 - 08:30:00 PDT