Minutes of IEEE P1800 SV-AC meeting #2009-03 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 Attendance Record: ------------------ Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 2/3) n = not a valid voter t = chair eligible to vote only to make or break a tie Attendance re-initialized on 2009-04-13: vv[xxx] Doron Bustan (Intel) vv[xxx] Eduard Cerny (Synopsys) vv[x-x] Ben Cohen vv[--x] John Havlicek (Freescale) vv[-xx] Tapan Kapoor (Cadence) tt[xxx] Dmitry Korchemny (Intel - Chair) vv[-xx] Manisha Kulshrestha (Mentor Graphics) vv[-x.] Lisa Piper vv[xxx] Erik Seligman (Intel) vv[xxx] Bassam Tabbara (Synopsys) vv[x-x] Tom Thatcher (Sun Microsystems - Co-Chair) |-------------- attendance on 2009-04-13 |---------------- voting eligibility on 2009-04-123 |----------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt - Approve meeting minutes from 2009-04-16. Erik moves. Doron seconds. Motion passed 6y/0a/0n. - Ownership assignment of ballot issues: Mantis 2647: Clarification about clock glitches in concurrent assertions - Tom Mantis 2656: Clarify difference of $global_clock handling in simulation and formal verification - Tom Mantis 2658: Default values for untyped formals - Dmitry Mantis 2650: Ambiguity in a sequence repetition [*0] definition - Erik Mantis 2654: Error in an example of throughout operator - Tom Mantis 2652: Future value functions need clarification - Erik - Review and vote on the ballot issue effort estimation. Tom: Approve the ballot issue effort estimation. Erik seconds. Motion passed 6y/0a/0n. - Voice vote on the following Mantis items: Mantis 2612: `true should have a backtick in a sequence example Tom: Accept the proposed resolution. Erik seconds. Motion passed 6y/0a/0n. Mantis 2660: Add indices to expressions Erik: Accept the proposed resolution. Tom seconds. Motion passed 6y/0a/0n. Mantis 2478: Clock flow subclause is not consistent with multiclocked property definition Erik: Accept the proposed resolution. Tom seconds. Motion passed 6y/0a/0n. Mantis 2661: "Syntax 16-19" is in blue Erik: Accept the proposed resolution. Tom seconds. Motion passed 6y/0a/0n. Mantis 2659: Backward compatibility issue with sequence property Tom: Change "as" with "that" (Already implemented - DK) Conditionally approve the proposed resolution. Erik seconds. Motion passed 6y/0a/0n. Mantis 2541: syntax errors - missing parenthesis Tom: Accept the proposed resolution. Erik seconds. Motion passed 6y/0a/0n. Mantis 2516: Another contradiction of existing text with 2398 needs to be fixed Erik: Accept the proposed resolution. Tom seconds. Motion passed 6y/0a/0n. Mantis 2496: non_port_program_item should contain assertion_item Ed: The original BNF is correct. Deferred assertions are illegal in programs. Tom: Leave the LRM unchanged. Send to P1800 the following feedback: 16.4.3 "Deferred assertions outside procedural code" states: "A deferred assertion statement may also appear outside procedural code, used as a module_common_item. In such cases, it is treated as if it were contained in an always_comb procedure." Since an always_comb procedure cannot appear in programs, using deferred assertions in programs should be illegal. Therefore SV-AC recommends to leave the LRM text unchanged. Ed seconds. Motion passed 6y/0a/0n. - Opens. Next meeting will take place Monday, 2009-04-27 16:00 UTC (09:00 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 Mon Apr 20 12:38:32 2009
This archive was generated by hypermail 2.1.8 : Mon Apr 20 2009 - 12:39:08 PDT