The meeting has started, please, join. Thanks, Dmitry From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry Sent: Thursday, April 16, 2009 9:09 PM To: sv-ac@server.eda.org Subject: [sv-ac] Reminder of SV-AC meeting 2009-04-20 Meeting reminder for IEEE P1800 SV-AC meeting #2009-02: 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: 5887069 Agenda: ------- - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt - Approve meeting minutes from 2009-04-16. - Ownership assignment of ballot issues: Mantis 2647: Clarification about clock glitches in concurrent assertions Mantis 2656: Clarify difference of $global_clock handling in simulation and formal verification Mantis 2658: Default values for untyped formals Mantis 2650: Ambiguity in a sequence repetition [*0] definition Mantis 2654: Error in an example of throughout operator - Review and vote on the ballot issue effort estimation. - Voice vote on the following Mantis items: Mantis 2612: `true should have a backtick in a sequence example Mantis 2660: Add indices to expressions Mantis 2478: Clock flow subclause is not consistent with multiclocked property definition Mantis 2661: "Syntax 16-19" is in blue Mantis 2659: Backward compatibility issue with sequence property Mantis 2541: syntax errors - missing parenthesis Mantis 2516: Another contradiction of existing text with 2398 needs to be fixed Mantis 2496: non_port_program_item should contain assertion_item - 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<http://www.mailscanner.info/>, and is believed to be clean. --------------------------------------------------------------------- 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 09:13:13 2009
This archive was generated by hypermail 2.1.8 : Mon Apr 20 2009 - 09:14:23 PDT