Hi Folks: I've merged Dmitry's notes with my own and attached them. Let me know if corrections are needed. J.H. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. Minutes of IEEE P1800 SV-AC meeting #2007-20 Written by: John Havlicek Date: 2007-09-11 Time: 16:00 UTC (11:00 CDT) Dialin information: ------------------- Country Number AUSTRALIA 1800009128 AUSTRIA 0800291873 BELGIUM 080077334 CANADA 8008671147 CHINA TELECOM (CT) 108001400732 CHINA NETCOM (CNC) 108007140759 DENMARK 80703159 FINLAND 0800770233 FRANCE 0800941695 GERMANY 08001014519 GREECE 0080016122039738 HONG KONG 800933578 HUNGARY 0680017180 INDIA 0008001006032 INDONESIA 008800105607 IRELAND 1800944116 ISRAEL 1809459738 ITALY 800782388 JAPAN 00531160427 LUXEMBOURG 80023985 MALAYSIA 1800808386 MONACO 80093186 NETHERLANDS 08002658223 NEW ZEALAND 0800443736 NORWAY 80057409 POLAND 008001114672 PORTUGAL 800819106 RUSSIA 81080022801012 SINGAPORE 8001011470 SOUTH AFRICA 0800992835 SOUTH KOREA 00308140540 SPAIN 900967020 SWEDEN 0201400559 SWITZERLAND 0800563054 TAIWAN 00801126585 THAILAND 0018001562039684 UNITED KINGDOM 08005280546 UNITED STATES 8008671147 Access Code: 7375405 Attendance Record: ------------------ Legend: x = attended - = missed r = represented . = not yet a member v = valid voter (2 out of last 3 or 3/4 overall) n = not a valid voter t = chair eligible to vote only to make or break a tie New PAR, attendance re-initialized on 2006-08-22: vv[xxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[-------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[---------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[-------x--xxx.....................] Joseph Lu (Altera) vv[xxxx..............................] Johan Martensson (Jasper) nn[------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |---------------------------------- attendance on 2007-09-04 |------------------------------------ voting eligibility on 2007-09-04 |------------------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Face-to-face arrangements. - Plans until feature freeze. - 1758: Boolean operators ->, <-> [EC] - 1995: Assertions and checkers in for loops [ES] - 2005: Glitches with immediate assertions [ES] - 1668: Local var initializers [JH] - 1728: Let proposal [EC, DK] - 1549: Argument passing [DB, LP, JH] - 1932: LTL operators [DK, DB] - 1757: accept_on, reject_on [EC] - 1900: Checkers [ES] - 1682: Future value functions [DK] - 1756: Control of assertions in initial blocks [EC] - Feedback from the champions. . Next steps for 1601 . Next steps for 1648 . Next steps for 1681 . Next steps for 1729 - Other items Notes: ------ - Reminder of IEEE patent policy. - Face-to-face arrangements. . The face-to-face will be in Austin, hosted at Freescale's Parmer Lane site (7700 West Parmer Lane, Austin, TX 78729) on 2-3 October 2007. The committee approved these meetings by voice vote. . TT will attend SV-BC F2F 24-Sep in SJ and represent SV-AC for name resolution - Plans until feature freeze. . We do not have time to finish all proposals by the current feature freeze. . DK asked everyone to send by the next meeting the prioritized list of the Mantis items to be addressed until the feature freeze, along with the effort estimation. Send only the top priority items. We can make a case to ask for more time from the working group, but it is not guaranteed. - 1758: Boolean operators ->, <-> [EC] . Discussion of the feedback from LP. . Decided that there are semantic issues with trying to reuse the same operators at the HDL and property levels. The proposal will be revised to use keywords "implies" and "iff" at the property level. There seems to be agreement that these should have lowest precedence, although this is not in agreement with PSL. - 1995: Assertions and checkers in for loops [ES] . TT and DB will review. - 2005: Glitches with immediate assertions [ES] . TT and DB will review. - 1681: Global clocking [DK] . LP asked about how to manage assertion code when several blocks have formal verification and want to take advantage of global clocking, but when they are integrated they cannot be clocked at the global clock. LP will send an example, DK and DB to respond. - 1668: Local var initializers [JH] . There have been no changes in the proposals since 2007-09-03. We will delay until 2007-09-17 to call for a vote. - 1728: Let proposal [EC, DK] . DK will remove the changes to 16.7 and 16.12 from this proposal and then we will call for a vote. The changes to 16.7 and 16.12 will be put in another proposal or in a separate Mantis item. We did not get to the following: - 1549: Argument passing [DB, LP, JH] - 1932: LTL operators [DK, DB] - 1757: accept_on, reject_on [EC] - 1900: Checkers [ES] - 1682: Future value functions [DK] - 1756: Control of assertions in initial blocks [EC] - Feedback from the champions. . Next steps for 1601 . Next steps for 1648 . Next steps for 1681 . Next steps for 1729 - Other items Next meeting: ------------- 2007-09-18 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Sep 11 18:51:46 2007
This archive was generated by hypermail 2.1.8 : Tue Sep 11 2007 - 18:52:29 PDT