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-52: Date: 2008-05-05 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: 2, Passcode: 7857862 Agenda: ------- - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt Champions' meeting 2008-04-24 update: 1757 SV-AC Property resets: accepton(b) P, rejecton(b) P Passed 2237 SV-AC VPI additions for 1667 Put on hold until 1503 is completed 2326 SV-AC add VPI diagrams for property case dependent on 2173 - which was sent to the sv-bc for review 2246 SV-AC VPI definitions of assertkill need modification Passed 2250 SV-AC VPI changes related to 1932 Passed 2333 SV-AC Champions feedback on 0002173 - duplicate of 2327 Passed 1698 SV-AC The description of sampled value functions is insufficient Passed with two opposed Open a new Mantis item for clock inference definition 2327 SV-AC 2173 adds property case, need to add vacuity definition and multi clocking behavior in it dependent on 2173 - which was sent to the sv-bc for review 2173 SV-AC Add case construct for properties send Mantis 2173 to the sv-bc for review Draft5 review 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 Sun May 4 05:49:20 2008
This archive was generated by hypermail 2.1.8 : Sun May 04 2008 - 05:50:14 PDT