Hi Folks: My notes from today's meeting are attached. I didn't try to capture all the discussion points. Please let me know if corrections/additions 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-25 Written by: John Havlicek Date: 2007-10-23 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[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[xxxxx-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[xxxxxxxxx..............................] Johan Martensson (Jasper) nn[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[-xxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |-------------------------------------- attendance on 2007-10-23 |---------------------------------------- voting eligibility on 2007-10-23 |----------------------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. - D4 Review . JH will work with the D4 reviewers to create the response to the editor. To make these official, we will voice vote the response to the editor. - Extension period plan (due 2007-11-12) . Reminder of 2007-10-30 due date for items and effort plans. Completed ballots: - 1466: Shortcuts for delay and consecutive repetition. Passed, to editor state. - 1668: Local variable declaration assignments. Passed, to "resolved,fixed" state. - 1722: Bind inconsistencies [LP]. Passed, to editor state. - 1757: accept_on, reject_on [EC, DB]. Failed. - 1758: Boolean operators ->, <-> [EC]. Passed, to "resolved,fixed" state. Under ballot: - 1549: Argument passing [DB, LP, JH] - 1641: Severity for general error messages [MK] - 1756: Control of assertions in initial blocks [EC] Review state: - 1567: In Syntax 22-7 there should be no semicolon [JH] . Aligned to D4, checked that all Champions' feedback has been addressed. Ready to vote. - 1591: $past syntax not precise [DK] Feedback state: - 1601: New keyword for untyped formal arguments [LP] - 1648: Default disable [DK, EC] . Deadline of 2007-10-24 for feedback from other committees. . Is this aligned to D4? - 1729: Immediate assume, cover [EC] . AI: MK will send mail about what of 1729 needs to be aligned with 1648. - 1731: Sampled value functions with arbitrary clocks [DK] . Ready to vote? - 1737: Incomplete fix from 1381 . Ready to vote? Major items: - 1932: LTL Operator [DK, DB] . List of examples and the desired result for non-vacuity. - ???? Need to add the next major item. General working items: - 1682: Future value functions [DK] - 1757: accept_on, reject_on [EC, DB] - 1900: Checkers [ES] - 2005: Glitches with immediate assertions [ES] . ES will create a working document to capture the issues and examples. - 1995: Assertions and checkers in for loops [ES] . ES will review 1995 with respect to 1737. Notes: ------ - Reminder of IEEE patent policy. - D4 Review . JH will work with the D4 reviewers to create the response to the editor. To make these official, we will voice vote the response to the editor. - Extension period plan (due 2007-11-12) . Reminder of 2007-10-30 due date for items and effort plans. . DK will become available at end of November. Completed ballots: - 1466: Shortcuts for delay and consecutive repetition. Passed, to editor state. - 1668: Local variable declaration assignments. Passed, to "resolved,fixed" state. - 1722: Bind inconsistencies [LP]. Passed, to editor state. - 1757: accept_on, reject_on [EC, DB]. Failed. . DB will mail to indicate he has reviewed. MK will also review and send mail to indicate the result. JH will then call for vote as appropriate. - 1758: Boolean operators ->, <-> [EC]. Passed, to "resolved,fixed" state. Under ballot: - 1549: Argument passing [DB, LP, JH] - 1641: Severity for general error messages [MK] - 1756: Control of assertions in initial blocks [EC] . Negative vote from TT. EC and TT have had e-mail. EC is wondering if we need this proposal. DK: gated clock is not always a good idea. . DK: Let's try to write a sketches of two possible solutions. One can be adding an argument to the assertion control, another to add another control task. DK will write an e-mail with the sketches. Then we will get feedback. Review state: - 1567: In Syntax 22-7 there should be no semicolon [JH] . Aligned to D4, checked that all Champions' feedback has been addressed. Ready to vote. - 1591: $past syntax not precise [DK] . DK will align to D4 and check that all Champions' feedback has been addressed. Then JH will call for vote. Feedback state: - 1601: New keyword for untyped formal arguments [LP] . When 1549 passes, this will need to be revised and aligned. - 1648: Default disable [DK, EC] . Deadline of 2007-10-24 for feedback from other committees. . Is this aligned to D4? EC: yes. . If there is no comment from the other committees, then JH will call for a vote. - 1729: Immediate assume, cover [EC] . AI: MK will send mail about what of 1729 needs to be aligned with 1641. . MK will send this mail after 1641 completes successfully. - 1731: Sampled value functions with arbitrary clocks [DK] . Ready to vote? JH should review and then call for a vote. - 1737: Incomplete fix from 1381 . Ready to vote? JH will ask LP if the friendly amendments were addressed and/or review the proposal. If it's ready, JH will call for vote. Major items: - 1932: LTL Operator [DK, DB] . List of examples and the desired result for non-vacuity. . DB is revising the proposal based on feedback. DB has not written down examples. . MK: In PSL there are rules about simple subset. Is there any plan to define simple subset? . DB: I don't understand why the simple subset is simple. . JH: My opinion is that this is not a high priority. People can write papers about this and if there is a preponderance of algorithms that use the same subset. . MK: Simple subset seems to make simulation easier. - 1900: Checkers [DK] . DK uploaded a new version of the proposal. This takes into consideration all the notes/comments from the face-to-face. . Needs to be reviewed . Non-deterministic free variables in simulation. . DK: The semantics in simulation should be universal quantification. . TT: We can try to use free variables as random? . EC: VIS approach uses assignment of a non-det. In simulation, the non-det can be $random. . TT will look over this. DK: There are additional comments in the word file in an e-mail. - Gord asked for feedback on name resolution. All SV-AC feedback needs to be in by the next SV-AC meeting. General working items: - 1682: Future value functions [DK] . TT's comments have been addressed. DK responded to LP. . JH will call for a vote. - 2005: Glitches with immediate assertions [ES] . ES will create a working document to capture the issues and examples. . ES sent preliminary version of a proposal. Comments have come back from SV-BC. It is not written what deferred assertions mean outside procedural code. . JH: What about Doug Warmke's comment on maturing assert defereds being evaluated in the following observed? . DK: There can still be glitches. . JH asked about going to postponed vs. observed. - 1995: Assertions and checkers in for loops [ES] . ES will review 1995 with respect to 1737. . JH will ask ES if this is ready for vote. Next meeting: ------------- 2007-10-30 at 16:00 UTC (11:00 CDT), 2 hour slot.Received on Tue Oct 23 11:19:14 2007
This archive was generated by hypermail 2.1.8 : Tue Oct 23 2007 - 11:19:54 PDT