Meeting reminder for IEEE P1800 SV-AC meeting #2007-38: Date: 2008-02-05 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 Agenda: ------- - Reminder of IEEE patent policy. Late Items m: 1756 // due 2007-12-11; review M: 1932 // due 2007-11-27; ballot & revision v: 1786 // due 2007-12-18; resolve in 1932 v: 1687 // due 2008-01-15; open m: 2172 // due 2008-01-15; open d: 2173 // draft due 2008-01-08 m: 2150 // due 2008-01-22; ballot & revision d: 0966/1982 // draft due 2008-01-22; open v: 1901 // review due 2008-01-15 m: 2100 // review due 2008-01-29 v: 1686 // review due 2008-01-29 v: 1830 // review due 2008-01-29 d: 1806 // draft due 2008-01-29 - Voice vote on 1648. - motion to ask SV-BC to review and approve 1769. - What other committees, if any, need to review 2005? - 1599 feedback from SV-CC: As chair of the SV-CC, I have been directed to request that you add cross references to the proposal for Item 1599. Specifically, we think there should be a cross reference from the assertion and coverage sections of the LRM to the VPI diagrams section where access to the assertion and coverage information is provided. - 1758 feedback from SV-BC - 1683 motivation refers to global clock. Ballot results - 1987: Assertion statement [LP] . passed, friendly amendments - 2088: Covergroups in checkers [TT] . passed, friendly amendments . Resolution to send to SV-EC. - 2089: Final blocks with immediate assertions in checkers [TT] . passed, no friendly amendments. . Does this need review by other committees? - 2110: Checkers in procedural loops [ES] . failed due to negative votes. - 2150: Disallow automatic variables in subroutines and action blocks [MK] . passed, friendly amendments - 2250: VPI changes for LTL operators . passed, friendly amendments Ongoing ballot - 1932: LTL operators [DB] Champions results Old items: - 1503: Assertion VPI changes [BT, LP] Major items: ??? General working items: - 1901: Identifier for ## should be constant [EC] . Need reviewers. - 2100: Synchronous resets [DK] - 2168: Formal semantics for clocking events [DK] - 2069: Formal semantics for coverage [DK] . DB reviewed. - 1973: Case statement in properties : changes in property spec syntax 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) Items returned from Committees: ------------------------------- 1601 // SV-EC 1599 // SV-CC, revision required 1758 // SV-BC, revision required Items in other Committees: -------------------------- 1503 // SV-CC [LP,BT are monitoring] 1757 // SV-CC 1898 // SV-CC Late Items m: 1756 // due 2007-12-11; review M: 1932 // due 2007-11-27; ballot & revision v: 1786 // due 2007-12-18; resolve in 1932 v: 1687 // due 2008-01-15; open m: 2172 // due 2008-01-15; open d: 2173 // draft due 2008-01-08 m: 2150 // due 2008-01-22; ballot & revision d: 0966/1982 // draft due 2008-01-22; open v: 1901 // review due 2008-01-15 m: 2100 // review due 2008-01-29 v: 1686 // review due 2008-01-29 v: 1830 // review due 2008-01-29 d: 1806 // draft due 2008-01-29 Schedule: --------- 2008-02-05 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: -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Feb 5 05:05:19 2008
This archive was generated by hypermail 2.1.8 : Tue Feb 05 2008 - 05:05:59 PST