All: My notes from today's meeting are attached. 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-15 Written by: John Havlicek Date: 2007-07-24 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[x-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[--x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) nn[x--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[xxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vn[x-x-xxxxx-x..................] Erik Seligman (Intel) nn[---xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |----------------------------- attendance on 2007-07-24 |------------------------------- voting eligibility on 2007-07-24 |-------------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Results of e-mail ballot on 1599. - Champions review . 1722 bind clarifications [LP] . 1601 context arguments [LP] . 1730 literal sequence and property actual arguments [EC] - 1681: Global clocking [DK] . Ready to vote? - 1361: Control exec of action blocks [MK] . JH sent comments. - 1768: All match semantics [LP] . Ready to vote? - 1549: Semantics of arguments [Argument Subcommittee & JH] . JH still needs to fix minor English problems. - 1668: Local var initializers [JH] . EC reviewed Clause 16 changes. . YF review? . DK to look at Annex F changes. - 1728: Let proposal [EC & DK] . TT, LP reviewers. - 1932: LTL operators . Feedback from LP/EM . JH to review both Clause 16 and Annex F parts. - 1757: accept_on, reject_on . YF, JH to review. - 1900: Checkers - Other items [to be added to our active region]. Notes: ------ - Reminder of IEEE patent policy. - Results of e-mail ballot on 1599. - Champions review . 1722 bind clarifications [LP] - JH to call for vote. . 1601 context arguments [LP] - JH to call for vote. . 1730 literal sequence and property actual arguments [EC] - 1681: Global clocking [DK] . JH will call for a vote on this item. - 1361: Control exec of action blocks [MK] . JH sent comments. . JH will review and call for a vote. - 1768: All match semantics [LP] . JH to ask about editorial issues. What are the rules for fonts of property_spec, etc.? What can we leave for the editor to take care of? . JH will call for vote. - 1549: Semantics of arguments [Argument Subcommittee & JH] . JH still needs to fix minor English problems. . Need to think about whether introducing the local variable names into the formal syntax breaks anything. Requiring them to be unique should be o.k. . Otherwise this will be ready to vote. - 1668: Local var initializers [JH] . EC reviewed Clause 16 changes. . YF reviewed, did not see any problems. . Clause 16 changes look acceptable. . DK, DB to look at Annex F changes. - 1728: Let proposal [EC & DK] . TT, LP reviewers. . Relation to 1601. . TT has some comments to finish and send out. . EC will respond. . JH will then have a look and the next step is to call for vote. - 1932: LTL operators . Feedback from LP/EM . DB will review. . People should send in comments on suggestions for alternative syntax. . JH to review both Clause 16 and Annex F parts. Not yet done. - 1757: accept_on, reject_on . YF, JH to review. . JH did not yet review. . YF to send email about one issue in the Annex F part. - 1900: Checkers . LP sent some comments . DK and EC sent some responses with motivating example . TT: Can you allow regular reg, wire variables inside checker? . DK: You cannot assign a free variable to a module variable. Vice versa is o.k. . ES: Free and module variables are available now, the module variables coming through the checker ports. . Some discussion of usage. DK would like other people's comments and suggestions. Other ideas can still be accommodated. Next meeting: ------------- 2007-08-07 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Jul 24 11:38:00 2007
This archive was generated by hypermail 2.1.8 : Tue Jul 24 2007 - 11:38:13 PDT