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-08 Written by: John Havlicek Date: 2007-04-17 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[xxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale) vv[xxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[x-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[---xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[x.....................] Joseph Lu nn[x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xx-x..................] Erik Seligman (Intel) nn[-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxx...............] Tom Thatcher (Sun Microsystems) |---------------------- attendance on 2007-04-17 |------------------------ voting eligibility on 2007-04-17 |------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Merged LRM review and vote on support of the merge effort. . Volunteers to look through the assertion sections? . Schedule an e-mail vote on support. - 1731: Sampled value functions with arbitrary clocks [EC] . JH, MK, DB will review. . JH, DB asked for changes to formal semantics and more explanation in Section 17. - 1599: API and VPI changes for 0805 [BT] . Ready to move to SV-CC? . Do we need to vote to move it? - 1734: Incomplete fix to Annex E in 0805 [JH] . DB reviewer. . Looks ready to vote. - 1641: Severity specification for error msgs [MK] . LP, BT reviewers. - 1668: Local var initializers [JH] . EC, DK reviewers. - 1648: Default disable [EC] . TT reviewer. . Have the inference rules settled? . Ready to vote? - 1737: Incomplete fixes from 1381 [EC] . Voice vote to tidy up. - 1361: Control exec of action blocks [MK] . Ready to vote? - 1466: Shortcuts for ## and * [LP] . Failed e-mail ballot. . What next? - 1728: Let [EC], motion. . Failed e-mail ballot. . Extensive feedback from MK. - 1674: Context value functions [EC] . YF reviewer . Dependencies on 1648 sorted out? . Ready to vote? - 1681: Global clocking [EC] . DB reviewer. . Status? - 1682: Future value functions [EC] . DB reviewer. . Status? - 1729: Immediate assume, cover [EC] . LP reviewer. . Status? - 1730: Literal sequence and property arguments [EC] . DB reviewer. . Ready to vote? Notes: ------ - Discussed the webpage. Erik will send out url, but not the password. - Merged LRM review and vote on support of the merge effort. . Volunteers to look through the assertion sections? . Voice vote on SV-AC support of the merge. Valid voters TT,ES,LP,MK,DK,YF,EC voted in favor. There were no negative votes, no abstentions. Valid voters DB,BT had not yet joined the meeting when the vote was taken. - 1731: Sampled value functions with arbitrary clocks [EC] . JH, MK, DB will review. . JH, DB asked for changes to formal semantics and more explanation in Section 17. . EC needs to review the changes suggested to Annex E and address the request for more explanation in Section 17. - 1599: API and VPI changes for 0805 [BT] . Old issues from meeting 2007-03-20: . LP and JH raised some concern about how an attempt that starts and is subsequently killed is accounted for in the various callbacks. . BT will review and see about adding PI calls for killed. . BT to give us updated status on these issues. . MK: In the formula we want "disable" to change "disabled evaluation" to align with name of the call. - 1734: Incomplete fix to Annex E in 0805 [JH] . DB reviewer. . Looks ready to vote. . JH to call an e-mail vote on this. - 1641: Severity specification for error msgs [MK] . LP, BT reviewers. . DK: Need to move this to SV-BC. . JH to call an e-mail vote on the proposal, then move to SV-BC. - 1668: Local var initializers [JH] . EC, DK reviewers. . JL: Also the problem of local variables in event expression. . JH needs to send more email about the issues to be discussed. - 1648: Default disable [EC] . TT reviewer. . Have the inference rules settled? . TT: The inference of a disable from an always block has been removed. . JH to call an e-mail vote on this. - 1737: Incomplete fixes from 1381 [EC] . There was hesitation about calling a voice vote. . JH to call an e-mail vote on this. - 1361: Control exec of action blocks [MK] . Failed e-mail ballot. . MK will update the proposal to try to align with Doron's suggestion. . LP: We should consider turning off reporting failures on cover. . JH: The failure count on cover property is out of the scope of this proposal. . LP will make a separate proposal on the failure counters. - 1466: Shortcuts for ## and * [LP] . Failed e-mail ballot. . What next? . JH: There is not much left to compromise on. Voice vote is possible. . BT: There are other parts of SV that could use this feature. The constraints from those contexts could influence the syntax. . DB: Can you point to other places in the LRM that are relevant or that might be affected? . BT: One could look to wherever $ is used. . BT to send mail about other parts of LRM that could be relevant. Dave Rich may be able to help. - 1728: Let [EC], motion. . Failed e-mail ballot. . Extensive feedback from MK. . EC and DK have studied the feedback from MK, but have not had time to write responses or revisions. The feedback from MK was clear enough. . Discussion needs to continue in e-mail. - 1674: Context value functions [EC] . YF reviewer . Dependencies on 1648 sorted out? . Check alignment with 1648 on removal of the inference of disable. . EC will update the enabling condition for a3. . Then YF will review again. . Then JH will call for an e-mail vote. - 1681: Global clocking [DK] . DB reviewer. . DK needs to revise the proposal as discussed previously. . DK: "design" is mentioned in the merged LRM. This is a global problem. . DB: I need to look at merged draft2 for precedent. . JH: We should try to make sure that the scope described by the use of "design" in 1681 is clear. - 1682: Future value functions [EC] . DB reviewer. . Proposal last updated on 4 April 2007. . DB sent comments the same day. These still need to be taken into account. . EC will try to revise and contact DB if issues are encountered. - 1729: Immediate assume, cover [EC] . LP reviewer. . EC will revise to fix the colors. . JH will then call for a vote. - 1730: Literal sequence and property arguments [EC] . DB reviewer. . JH will call for an e-mail vote. - JH will call the e-mail votes for 13 days to relieve the pressure of seven simultaneous ballots. Next meeting: ------------- 2007-05-01 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Apr 17 11:36:23 2007
This archive was generated by hypermail 2.1.8 : Tue Apr 17 2007 - 11:36:33 PDT