Hi Folks: My notes from today's meeting are attached. Note that I have recorded attendance on our two short extra voting meetings in the notes, but I have not been counting this attendance toward voting eligibility. For consistency, the voting eligibility going forward is based on the attendance on 2008-02-26. 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-43 Written by: John Havlicek Date: 2008-02-28 Time: 16:00 UTC (10:00 CST) Dialin information: ------------------- Toll number: +1 647 723 3904 Country Toll Free 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: v[xxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[-----------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) t[xxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) v[-x-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) n[----x-x-------------------------------------------------] Ah-Lam Lee (Qualcomm) n[-------------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) n[----------------x------------x--xxx.....................] Joseph Lu (Altera) n[--x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[----------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xx-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[--------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) v[-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------------------ attendance on 2008-02-28 |-------------------------------------------------------- voting eligibility on 2008-02-28 Agenda: ------- - Reminder of IEEE patent policy. Voice votes . 1599 API and VPI changes for 0805 . 1769 Elaboration-time assertions . 1900 Checkers . 1901 Identifier for ## should be constant . 1987 Verification statement . 2005 Deferred assertions (comments from Francoise) . 2088 Covergroups in checkers . 2089 Checkers with final blocks . 2091 Where concurrent assertions may appear . 1849 VPI diagrams for immediate assume, cover (resolve as duplicate of 1729) Other items Notes: ------ - Reminder of IEEE patent policy. Voice votes . 1599 API and VPI changes for 0805 . Delayed. . 1769 Elaboration-time assertions . Vote 7y/0n/0a approves subject to the changes in Shalom's friendly amendments. . 1900 Checkers . Vote 7y/0n/0a approves checkers_080227_part1_dk.pdf, checkers_080227_part2_dk.pdf . 1901 Identifier for ## should be constant . Vote 7y/0n/0a approves subject to change of color of ## and removal of constant_primary and constant_mintypmax_expression from the syntax box. . 1987 Verification statement . Vote 7y/0n/0a approves subject to regenerated the .pdf with the proper colors. . 2005 Deferred assertions (comments from Francoise) . We decided that Erik's comments were adequate. . 2088 Covergroups in checkers . Vote 7y/0n/0a to approve friendly amendment font changes. . 2089 Checkers with final blocks . This one passed in e-mail. . 2091 Where concurrent assertions may appear . Vote 6y/0n/0a approves changes. . 1849 VPI diagrams for immediate assume, cover (resolve as duplicate of 1729) . Vote 7y/0n/0a to resolve as duplicate of 1729. Next steps . We will meet next 2008-03-04. Dmitry will lead the meeting. Other items ------------------------------------------------------------------------- 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) Late Items m: 1756 // due 2007-12-11; review m: 2172 // due 2008-01-15; open d: 0966/1982 // draft due 2008-01-22; open Schedule: --------- 2008-02-12 M: 1551 review m: 0966/1982 ballot & revision m: 2100 ballot & revision m: 1806 review 2008-02-19 M: 1551 ballot & revision m: 1806 ballot & revision m: m: 2008-02-26 M: 1551 ballot & revision M: m: m: m: m:Received on Thu Feb 28 08:26:33 2008
This archive was generated by hypermail 2.1.8 : Thu Feb 28 2008 - 08:28:44 PST