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-12 Written by: John Havlicek Date: 2007-06-12 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[xxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) vv[-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vn[xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[-------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nv[--xxx.....................] Joseph Lu (Altera) nn[----x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[-xxxxx-x..................] Erik Seligman (Intel) vv[xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------- attendance on 2007-06-12 |--------------------------- voting eligibility on 2007-06-12 |---------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Draft3a availability? - Draft3 review activities. . 22.10 (bind), 36.42-36.48 (VPI Objects) - LP will review 22.10, TT will look at bind. - LP will review 36.42-36.48, JH will mail BT. - 1682: Future value functions [EC] - 1768: All match semantics [LP] - 1648: Default disable [EC] . vote called, ballots due 2007-06-19. - 1674: Context value functions [EC] . waiting for vote to be called - Argument subcommittee proposal reviews . 1549 (TT, JL) . Formal semantics (DK, JH) - 1731: Sampled value functions with arbitrary clocks [EC] - 1599: API and VPI changes for 0805 [BT] - 1668: Local var initializers [JH] - 1361: Control exec of action blocks [MK] . waiting for vote to be called - 1728: Let [EC], motion. - 1681: Global clocking [DK] Notes: ------ - Reminder of IEEE patent policy. - Draft3a availability? . JH: Ping KP about this. - Draft3 review activities. . JH: Check whether all Draft 3 review stuff went to Stu. . 22.10 (bind), 36.42-36.48 (VPI Objects) - LP will review 22.10, TT will look at bind. + There was an issue about requiring bind by instance if there are variations of a module that is the target of the bind. + DK: if we understand bind by instance in the presence of multiple variations, then we should be able to understand bind to module as binding to all the instances. - LP will review 36.42-36.48, JH will mail BT. - Issues with these reviews will be addressed in mantis items rather than being sent directly back to the editor. - 1682: Future value functions [EC] . EC will revise according to DB's last comments and then we should be ready to vote. - 1768: All match semantics [LP] . EC reviewed and sent comments. . MK will review. - 1648: Default disable [EC] . vote called, ballots due 2007-06-19. - 1674: Context value functions [EC] . EC & DK will revise according to JH's comments. . Then we should be ready to vote. - Argument subcommittee proposal reviews . 1549 (TT, JL) . Formal semantics (DK, JH) - DB: No showstopper issues. - DK: Two main problems, one related to recursive properties, the other to $var. - DK will write an example to illustrate problem with local variable and $var. DB will review the example. - JH will review the examples that DB put on mantis. - 1731: Sampled value functions with arbitrary clocks [EC] . JH will call for a vote on this item. - 1599: API and VPI changes for 0805 [BT] . JH needs to look over 1599 update from BT. . BT: callbacks should be issued for anything that kills, e.g., not just a VPI. . LP: the language still does not seem clear. . BT: we can open a separate mantis item to describe the explicit mappings from system tasks to callbacks. - 1668: Local var initializers [JH] . JH needs to revise the sketch and get feedback. - 1361: Control exec of action blocks [MK] . LP gave feedback. MK needs to update proposal. . waiting for vote to be called . DK: notion of vacuous evaluation is missing for immediate assertions. Disable is also missing. . JH & others: Adding these to immediate assertions should be a separate mantis item. . BT: Could do a sanity check for whether 1361 applies to immediate assertions. It looks o.k. . This will be ready for vote with MK's final update. - 1728: Let [EC], motion. . Discussions between DK and GV. . GV has some concerns that may be real problems. . DK: We could, in first stage, disallow problematic cross-module references together with let. . DK: "let" is very similar to "genvar". "genvar" is very limited. Maybe we can expand capabilities of "genvar". . DK: GV said that usually there is no motion of items from committee to committee. . EC: Can the limitations on constant functions provide the needed limitations? . DK: I don't think so. . BT: To make progress, we can focus on assertion usage. . Decision to work on 1728 in SV-AC, invite others to watch and give suggestions. We did not get to this item: - 1681: Global clocking [DK] Next meeting: ------------- 2007-06-26 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Jun 12 12:20:21 2007
This archive was generated by hypermail 2.1.8 : Tue Jun 12 2007 - 12:20:44 PDT