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-11 Written by: John Havlicek Date: 2007-05-29 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[xxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) vv[xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[x-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) nn[x--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) vv[-xxx.....................] Joseph Lu (Altera) nn[---x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xxxxx-x..................] Erik Seligman (Intel) vv[xxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[x-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------ attendance on 2007-05-08 |-------------------------- voting eligibility on 2007-05-08 |--------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Results of ballot on 1737: Incomplete fixes from 1381 [EC] - Draft3 review activities. . 0805 ( TS, x BT, x JH) . 0928 (x LP, x BT, x JH) . 1381 (x EC, x JH) . 1420 ( DB, x JH) . 1495 (x EC, DB, x JH) . 1518 ( DB, x JH) . Clause 16 (x TT, JL) . Annex F (x JH, x LP) . Need reviewers for 22.10 (bind), 36.42-36.48 (VPI Objects) - 1729: Immediate assume, cover [EC] - 1648: Default disable [EC] - 1674: Context value functions [EC] - 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] - 1728: Let [EC], motion. - 1681: Global clocking [DK] - 1682: Future value functions [EC] - 1768: All match semantics [LP] Notes: ------ - Reminder of IEEE patent policy. - New operting guidelines. - Results of ballot on 1737: Incomplete fixes from 1381 [EC] - Draft3 review activities. . 0805 (x TS, x BT, x JH) . 0928 (x LP, x BT, x JH) . 1381 (x EC, x JH) . 1420 (x DB, x JH) . 1495 (x EC, x DB, x JH) . 1518 (x DB, x JH) . Clause 16 (x TT, JL) . Annex F (x JH, x LP) . Need reviewers for 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. - EC: object diagrams for assume are no longer correct due to action blocks. Will try to fix this in 1806. - 1729: Immediate assume, cover [EC] . EC will enter a new mantis item for the VPI diagrams. - 1648: Default disable [EC] . EC revised the proposal to address concerns from YF. . JH will call for an email vote. . EC checked for a mantis item to allow default clocking to be changed in a nested scope. This is SV-EC 1799. - 1674: Context value functions [EC] . ES submitted revised version so that inferred does not propagate. . JH will call for an email vote. . BT: I think that other system tasks preclude user overloading. BT will look for the precedent for this and give feedback. - Argument subcommittee proposal reviews . 1549 (TT, JL) - TT review, LP has addressed the issues in revisions of the proposal. - JH encourages everyone to have a look at 1549. . Formal semantics (DK, JH) - DK: $var is not defined, other committees are thinking about this. Also the recursive property definition is not clear. - JH: I would like to see some examples. - DB: Will send them to reflector. - DB: On recursive properties. - 1731: Sampled value functions with arbitrary clocks [EC] . DK: Tried to incorporate comments, found discrepencies. . DK will write the proposal based on 1550 changes and the feedback to the questions sent to the reflector. . ED: DK should also have a look at 1698. - 1599: API and VPI changes for 0805 [BT] . JH needs to respond to BT's comments. . MK, LP should review the latest. . JH will call email vote if we converge. - 1668: Local var initializers [JH] . EC: What about case of empty matching r? . JH: Need to review the restrictions on maximal sequential expression (non-degeneracy). Need to see whether there is a problem with the non-overlapped implication. . JH: will solicit feedback from the original reviewers. - 1361: Control exec of action blocks [MK] . MK has uploaded a new version. . DB looked at it and it seems o.k. . MK will update to align with Draft 3. . There was a problem in creating the .pdf. . JH will call for an email vote after the revisions are made. - 1728: Let [EC], motion. . TS is supposed to post feedback today. . DK has addressed all the comments. . JH will call for an email ballot on the motion when DK has reviewed the feedback. - 1681: Global clocking [DK] . DK updated the proposal. . DB needs to re-review. . JH will ping the other reviewer for feedback. We did not get to these items: - 1682: Future value functions [EC] - 1768: All match semantics [LP] Next meeting: ------------- 2007-06-12 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue May 29 11:11:56 2007
This archive was generated by hypermail 2.1.8 : Tue May 29 2007 - 11:12:06 PDT