Hi Folks: My notes from today's SV-AC 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-21 Written by: John Havlicek Date: 2007-09-18 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[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[--------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[x-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[x-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[----------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[--------x--xxx.....................] Joseph Lu (Altera) vv[xxxxx..............................] Johan Martensson (Jasper) nn[-------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[x--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |----------------------------------- attendance on 2007-09-18 |------------------------------------- voting eligibility on 2007-09-18 |-------------------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - Face-to-face arrangements. - Plans until feature freeze. - Champions latest ballot. - Results of ballot on 1681. - 1549: Argument passing [DB, LP, JH] - 1932: LTL operators [DK, DB] - 1757: accept_on, reject_on [EC] - 1900: Checkers [ES] - 1682: Future value functions [DK] - 1756: Control of assertions in initial blocks [EC] - Feedback from the champions. . Next steps for 1601 . Next steps for 1648 . Next steps for 1729 - 1758: Boolean operators ->, <-> [EC] - 1995: Assertions and checkers in for loops [ES] - 2005: Glitches with immediate assertions [ES] - 1668: Local var initializers [JH] - 1728: Let proposal [EC, DK] - Other items Notes: ------ - Reminder of IEEE patent policy. - Face-to-face arrangements. . JH will get phone numbers for the other valid voters. . DB can participate on Tuesday until 17:00-05:00. Topics . 1932 LTL. . 1900 checkers, related to SV-BC. . 1549 arguments . 1667 local variable arguments . 2005 related to SV-BC . Relationship between system tasks and VPI -- LP will send mail to BT about this. . Slot for grab bag of other mantis items. . We may want to schedule certain times for voting, although people not participating would need to review updates before voting. . Additional suggestions should be sent by 2007-09-19 T 18:00-05:00. - Plans until feature freeze. . JH will check on the deadline from P1800. - It is 2007-09-20, so we need to act quickly. . People still need to send in their priority items and effort estimates. - Champions latest ballot. . JH will send JH feedback on SV-AC proposals to SV-AC. . JH will send Neil a mail about the 1681 results. - Results of ballot on 1681. . JM suggested a rewording and will e-mail it. DK will revise. - 1549: Argument passing [DB, LP, JH] . JH will post the current revision today. - 1932: LTL operators [DK, DB] . DB added the "implies" and "iff" in 1932. . TT, JM, JH, DK think s_until is good. . JM: What about "until with"? . JM: Question about strong sequence. This will not be backward compatible. We discussed this and thought it was worth the backward incompatibility. . JM: How about until_with? - 1757: accept_on, reject_on [EC] . DK and DB will look at font problems and post a revised version. Then we should be ready to vote. . MK asked about the rationale for sampled conditions. DK,EC explained that the semantics is cleaner, matches closer with the treatment of expressions in other nestable property operators, and the semantics of glitch-catching by disable iff has not been carefully defined. - 1900: Checkers [ES] . DK eventually wrote almost the final version of the proposal. File was too big for reflector. New version is deposited on Mantis. Comments were received from several people. Not all comments have been addressed, but the remaining ones are not major. . LP and TT will re-review. - 1682: Future value functions [DK] . Feedback from JM and others was incorporated. . Ready for voting, but heavily dependent on Global Clocking. . JH will call for a vote. . DK does not want to delete the old versions because they show how substantially the proposal has been changed. . BT: there was discussion from champions about not creating many system task names, as opposed to arguments. 1361 also creates many system tasks. DK: This was in response to feedback for clarity and to avoid confusion. - EC recommends uniformizing the names of mantis items. - 1756: Control of assertions in initial blocks [EC] . YF sent feedback to reflector with questions. MK had a question about the change in semantics. . EC will align with Draft3a. . BT will send feedback to EC about the need for this capability. - 1728: Let proposal [EC, DK] . Delay for 2 days before calling for vote. We did not get to these items. - Feedback from the champions. . Next steps for 1601 . Next steps for 1648 . Next steps for 1729 - 1758: Boolean operators ->, <-> [EC] - 1995: Assertions and checkers in for loops [ES] - 2005: Glitches with immediate assertions [ES] - 1668: Local var initializers [JH] - Other items Next meeting: ------------- 2007-09-25 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Sep 18 12:33:02 2007
This archive was generated by hypermail 2.1.8 : Tue Sep 18 2007 - 12:33:14 PDT