Meeting reminder for IEEE P1800 SV-AC meeting #2009-04: Date: 2009-04-20 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: 6326220 Agenda: ------- - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt - Approve meeting minutes from 2009-04-16. - Track progress/review resolution of the following Mantis items: 2647: Clarification about clock glitches in concurrent assertions 2656: Clarify difference of $global_clock handling in simulation and formal verification 2658: Default values for untyped formals 2650: Ambiguity in a sequence repetition [*0] definition 2652: Future value functions need clarification 2654: Error in an example of throughout operator 2659: Backward compatibility issue with sequence property - Opens. Dmitry --------------------------------------------------------------------- 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 Mon Apr 20 12:46:15 2009
This archive was generated by hypermail 2.1.8 : Mon Apr 20 2009 - 12:47:08 PDT