Minutes of IEEE P1800 SV-AC meeting #2007-30 Written by: Dmitry Korchemny Date: 2007-11-27 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[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[-----------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) tv[xxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[-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[xxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) nn[----------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[x-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nv[--x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[x-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------- attendance on 2007-11-27 |--------------------------------------------- voting eligibility on 2007-11-27 |---------------------------------------------- new voting eligibility Note: LP attended part of the meeting Agenda: ------- - Reminder of IEEE patent policy. - Discuss clumping of votes and running them Tuesday to Monday. . 1728: passed. There were friendly amendments. They were addressed in the version etConstruct1728 071127_dk.pdf, the proposal is ready to revote. DK will call for a voting on the friendly amendments. . 1757: passed. There were friendly amendments. They were addressed in the version AcceptRejecton1757.071127.pdf, the proposal is ready to revote. Since 1757 passed only as a result of the proposal update during the ballot we had a voice ballot to confirm the validity of the email ballot. The voice ballot has unanimously passed. DK will call for a voting on the friendly amendments. . 1549: passed conditionally, some votes were sent several hours late. Needs a confirmation. We had a voice ballot which has unanimously passed. .1898: passed. .1533: Passed (resolved, duplicate). .2033: Failed – no quorum. Ready to revote. We had a voice ballot which has unanimously passed. .1503: Failed – no quorum. There were friendly amendments. DK will call for a new voting when the friendly ammendments have been addressed. LP will notify when the updated proposal is ready. Old items: - 1648: Default disable iff . Ready to vote? LP updated the proposal according to MK comments. DK will call for a voting. - 1683: Relaxing rules for building multiclocked properties. . Discuss whether the global clocking is important for this proposal . Ready for review YF and DB will review the proposal - 1849: Update VPI object diagrams for immediate assume, cover . Is it subsumed by 1729? - 1852: Ballot Feedback Issue STU2: Declarations on Assertions . Resolve as duplicate of 1549? Wait until 1549 is approved. - 1987: "verification statement" should be italicized and added to the glossary . Needs an owner DB will prepare the proposal. Major items: - 1900: Checkers [DK] DK to address YF proposal to inroduce different kinds of variables in checkers Make a final decision at the next meeting. TT and DK will finalize the text describing simulation of assumptions containing non-deterministic free variables. - 1995: Assertions in loops [ES] Erik gave an update on the new version of the proposal. JM and YF will review the proposal. General working items: - 2005: Glitches with immediate assertions [ES] TT and DK will review the proposal. - 1682: Future value functions Waiting for JH comments. - Other items Assign ownership to the following items: · 0002091: Need a clarification where concurrent assertions may appear Assigned to LP All: to send their suggestions about the ownership of the following new items. · 0002095: Clarify meaning of distribution as condition for "disable iff" · 0002111Allow parameters in checkers · 0002172: Add sequence if...else. · 0002172: Add case construct for sequences and properties. · 0002182: Elaborate VPI diagrams for checkers · 000205 $asseroff, $assertkill and $asserton description is ambiguous · 000206 Random simulation of non-deterministic free variables in checkers · 0002151: Referencing assertions in functions · 0002150: use of automatic variables in action block and subroutine DK to ask EC whether he is going to handle 1698 - "The description of sampled value functions is insufficient". If not, Lisa will assume the ownership. ------------------------------------------------------------------------- Upcoming 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-27 M: 1932 ballot & revision M: 1900 ballot & revision m: 1898 ballot & revision m: 1756 ballot & revision m: 1757 ballot & revision m: 1729 ballot & revision m: 1503 ballot & revision v: 2033 ballot & revision d: 1667 draft d: 1683 draft 2007-12-04 M: 1900 ballot & revision M: 1932 ballot & revision M: 1995 ballot & revision m: 1682 ballot & revision m: 1756 ballot & revision m: 1898 ballot & revision m: 1729 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision v: 2033 ballot & revision d: 1667 draft d: 2150 draft d: 1683 review 2007-12-11 M: 1667 review M: 1932 ballot & revision M: 1900 ballot & revision M: 1995 ballot & revision m: 1756 ballot & revision m: 1503 ballot & revision m: 2150 review m: 1683 review v: 1786 review d: 2172 draft