Hi Folks: Attached are my notes from yesterday's meeting. Please let me know if changes are required. It seems that Mantis and the mail reflector are not responsive. There are several ballots that need to be called today, and I am pausing to see if the database and mail reflector will come back before proceeding with those. 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-32 Written by: Dmitry Korchemny Date: 2007-12-11 Time: 16:00 UTC (10:00 CST) 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[xxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[-------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[x--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[xx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[---------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[------x------------x--xxx.....................] Joseph Lu (Altera) vv[xxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) nn[------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |--------------------------------------------- attendance on 2007-12-11 |----------------------------------------------- voting eligibility on 2007-12-11 |------------------------------------------------ new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. Old items: - 1503: VPI diagram of propertyinst has no vpiArgument . Voice vote. - 1682: Future value functions Major items: - 1932: LTL Operator [DK, DB] - 1900: Checkers [DK] General working items: - 2005: Glitches with immediate assertions [ES] - 1995: Assertions and checkers in for loops [ES] - 1756: Control of assertions in initial blocks [EC] - 2088: Covergroups for checkers [TT] - 2089: Allow checker construct to include final blocks with immediate assertions [TT] - 1683: Relaxing rules for building multiclocked properties - 2150: Disallow reference to automatic variables in action blocks and subroutine calls [MK] - Other items Notes: ------ - Reminder of IEEE patent policy. Old items: - 1503: VPI diagram of propertyinst has no vpiArgument . Voice vote. 0n/0a - 1682: Future value functions . JH will do a rewrite by 2007-12-12 and call for e-mail vote to close on 2007-12-17. - 1683: Relaxing rules for building multiclocked properties . JH needs to review 1683. Major items: - 1932: LTL Operator [DK, DB] . Dependency on 1683. Also waiting on JH review. Rewrite clocking of rules of Annex F. Clocking rules in Annex F are incomplete. DB will generalize the F.3.1.1 and F.3.1.2. DB also mentioned fixing "if-else". DB will also revise to implement agreed on rewording as discussed with JM. - 1900: Checkers [DK] . Previous discussion about non-deterministic variables. Split free variables into two kinds. One will be same as previous free variables. Other will assume only deterministic values. . JH will call for an e-mail vote on 1900 to close on 2007-12-17. VPI changes are in a separate proposal, which is not ready for vote yet. General working items: - 2005: Glitches with immediate assertions [ES] . JH will call for an e-mail vote to close on 2007-12-17. - 1995: Assertions and checkers in for loops [ES] . JH will call for an e-mail vote to close on 2007-12-17. - 1756: Control of assertions in initial blocks [EC] . ??? EC is not working on this at the moment. - 2088: Covergroups for checkers [TT] . Under review (ES and LP). There are still technical issues. Some discussion of covergroup sampling. Take to e-mail feedback. - 2089: Allow checker construct to include final blocks with immediate assertions [TT] . Under review (ES and LP). There are still technical issues. Other items: - 1987 . DB will review. - 2091 . TT will review. We did not get to this item: - 2150: Disallow reference to automatic variables in action blocks and subroutine calls [MK] ------------------------------------------------------------------------- Extension Schedule Legend: M: major item slot (2 concurrent) m: minor item slot (4 concurrnet) v: very minor item slot (no limit) d: draft preparation slot (no limit) 2007-11-13 M: 1932 ballot & revision M: 1900 review m: 1757 ballot & revision m: 1898 review m: 1756 ballot & revision m: 1682 ballot & revision 2007-11-20 M: 1932 ballot & revision M: 1900 ballot & revision m: 1757 ballot & revision m: 1898 review m: 1756 ballot & revision m: 1682 ballot & revision d: 1503 draft d: 2033 draft 2007-11-27 M: 1932 ballot & revision M: 1900 ballot & revision m: 2005 review m: 1898 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision v: 2033 review d: 1667 draft d: 1683 draft 2007-12-04 M: 1900 ballot & revision M: 1995 ballot & revision m: 1898 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision v: 2033 ballot & revision d: 1667 draft d: 2150 draft d: 1683 draft 2007-12-11 M: 1667 review M: 1995 ballot & revision m: 1729 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision m: 2150 review m: 1683 review v: 1786 review d: 2172 draft 2007-12-18 M: 1667 review M: 1995 ballot & revision m: 1729 ballot & revision m: 2172 review m: 2150 review m: 1683 review v: 1786 ballot & revision d: 1627 draft 2008-01-08 JAN M: 1667 ballot & revision M: 2005 review m: 2172 ballot & revision m: 2150 ballot & revision m: 1683 ballot & revision m: 1769 review v: 1687 review d: 2173 draft d: 2069 draft d: 1901 draft 2008-01-15 M: 1667 ballot & revision M: 2005 review m: 2172 ballot & revision m: 2150 ballot & revision m: 1683 ballot & revision m: 1769 ballot & revision v: 1687 ballot & revision v: 1901 review d: 0966/1982 draft d: 2110 draft d: 2069 draft d: 1987 draft 2008-01-22 M: 2005 review M: 2110 review m: 2173 review m: 2150 ballot & revision m: 1769 ballot & revision m: 2069 review v: 1901 ballot & revision v: 1987 review d: 0966/1982 draft d: 2100 draft d: 1686 draft d: 1830 draft 2008-01-29 M: 2005 ballot & revision M: 2110 ballot & revision m: 2173 ballot & revision m: 0966/1982 review m: 2100 review m: 2069 review v: 1686 review v: 1830 review v: 1987 ballot & revision d: 1806 draft 2008-02-05 M: 2005 ballot & revision M: 2110 ballot & revision m: 2173 ballot & revision m: 0966/1982 ballot & revision m: 2100 ballot & revision m: 1806 review v: 1686 ballot & revision v: 1830 ballot & revision 2008-02-12 M: 2069 ballot & revision M: 1551 review m: 0966/1982 ballot & revision m: 2100 ballot & revision m: 2168 review m: 1806 review 2008-02-19 M: 2069 ballot & revision M: 1551 ballot & revision m: 2168 ballot & revision m: 1806 ballot & revision m: m: 2008-02-26 M: 1551 ballot & revision M: m: m: m: m:Received on Thu Dec 13 06:36:15 2007
This archive was generated by hypermail 2.1.8 : Thu Dec 13 2007 - 06:36:56 PST