Hi All: Attached are my notes from today's meeting. Please let me know if changes are required. 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-14 Written by: John Havlicek Date: 2007-07-10 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) 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[-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nv[-x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) nv[--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[---------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[-x--xxx.....................] Joseph Lu (Altera) nn[------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) nv[-x-xxxxx-x..................] Erik Seligman (Intel) nv[--xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |--------------------------- attendance on 2007-07-10 |----------------------------- voting eligibility on 2007-07-10 |------------------------------ new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - E-mail ballot on 1731 passed. - E-mail ballot on 1599 underway. - 1681: Global clocking [DK] - 1361: Control exec of action blocks [MK] - 1768: All match semantics [LP] - 1549: Semantics of arguments [Argument Subcommittee & JH] - 1668: Local var initializers [JH] - 1728: Let proposal [EC & DK] - Other items [to be added to our active region]. Notes: ------ - Reminder of IEEE patent policy. - E-mail ballot on 1731 passed. - E-mail ballot on 1599 underway. - 1681: Global clocking [DK] . Dropped all context inference from global clocking . No synchronization guaranteed. . TT, JH will review in the next few days. - 1361: Control exec of action blocks [MK] . LP will look back at this. . JH will look over it. . JH asked DK to try to fix the font problems at the end of 1361 document. . Then we should be ready to vote. - 1768: All match semantics [LP] . LP will revise according to the comments regarding "disable" and cover sequence. . There are not other known issues. After this, we should be ready to vote. - 1549: Semantics of arguments [Argument Subcommittee & JH] . DB updated to eliminate $var on untyped arguments. . JH: I'm not sure that the flattening procedures make it clear that context arguments are not typed. This should be easy to fix. . JH still needs to fix minor English problems. . Discussion of the local variable declarations, JH will send an example to illustrate what we need to check if we do not uniquefy the local variable identifiers. - 1668: Local var initializers [JH] . YF, EC will have a look. . JH: There may still be an issue regarding not changing the strength of a property when attaching local variable declaration assignments. . JH will post a document on the formal semantics today. . DK will look at the formal semantics part when it is posted. - 1728: Let proposal [EC & DK] . TT, LP reviewers. TT has not finished the review. . TT: Motivation is clearer, still need to look at the examples. . LP: Found a number of little things, mostly minor. . EC will review the feedback. . BT: VPI diagram draft is there. . LP: Does anyone know if SV-BC have tried to address this with functions with untyped arguments? . JH: I guess we would have heard about that. - Other items [to be added to our active region]. . People should review the items assigned to them and decide if any are subsumed by items that have already been resolved. - 1900: Checkers . Erik wants feedback on whether this sort of feature will be welcomed. . TT will have a look. . LP will have a look. . YF will have a look. - 1932: LTL operators . DK: Align regular expression properties to PSL. Other operators are analogous to PSL operators, but with different syntax. . DK: In formal semantics, accept_on and reject_on are accounted for. . JH: Will read both Clause 16 and Annex F parts. . LP: Will review both Clause 16 and Annex F parts. - 1757: accept_on, reject_on . YF will review. . JH will review. Next meeting: ------------- 2007-07-24 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Jul 10 11:05:42 2007
This archive was generated by hypermail 2.1.8 : Tue Jul 10 2007 - 11:06:05 PDT