Hi Folks: My notes from today's meeting are attached. 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-38 Written by: John Havlicek 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 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[xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[-------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[x-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[xxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics) nn[x-x-------------------------------------------------] Ah-Lam Lee (Qualcomm) nn[---------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics) nn[------------x------------x--xxx.....................] Joseph Lu (Altera) nn[x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) nn[------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[xxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[----------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[xx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |--------------------------------------------------- attendance on 2008-02-05 |----------------------------------------------------- voting eligibility on 2008-02-05 |------------------------------------------------------ new voting eligibility 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. - 2173: Case statement in properties : changes in property spec syntax Other items Notes: ------ - 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 . LP may be able to take this. v: 1830 // review due 2008-01-29 . LP may be able to take this. d: 1806 // draft due 2008-01-29 . EC will update the draft to align to D4. - Voice vote on 1648. . Approved 8y/0n/0a. . JH will move the mantis status. - motion to ask SV-BC to review and approve 1769. . SV-AC request that SV-BC review and approve 1769. voice vote 8y/0n/0a on this motion. - What other committees, if any, need to review 2005? . SV-AC request that SV-CC review and approve 2005. voice vote 8y/0n/0a on this motions. - 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. Voice vote to approve 8y/0n/0a, with the understanding that BT will add "a" in one sentence. BT will send mail when the proposal is updated. JH will change the state. . SV-AC request that SV-CC review and approve the latest revision to 1599. Voice vote 8y/0n/0a. . JH will send mail. - 1758 feedback from SV-BC . Voice vote 9y/0n/0a. . EC will add commas and send mail. JH will change state. - 1683 motivation refers to global clock. . Since this is already approved by the WG and no change to the LRM text is needed, we decided to leave this alone. . If issues arise in the editor's implementation, we will address them in feedback for the editor. Ballot results - 1987: Assertion statement [LP] . passed, friendly amendments . Voice vote to approve friendly amendments: 9y/0n/0a. JH will move state. - 2088: Covergroups in checkers [TT] . passed, friendly amendments . Resolution to send to SV-EC. . TT will revise proposal and send mail. . SV-AC request that SV-EC review and approve the latest revision to 2088. SV-AC are concurrently voting on this revision. voice 9y/0n/0a. - 2089: Final blocks with immediate assertions in checkers [TT] . passed, no friendly amendments. . Does this need review by other committees? . SV-AC request SV-EC and SV-BC to look at the latest revision of 2089 and determine whether they want to review and approve it. voice vote 9y/0n/0a - 2110: Checkers in procedural loops [ES] . failed due to negative votes. . Erik will revise and send mail. JH will then call for email vote. - 2150: Disallow automatic variables in subroutines and action blocks [MK] . passed, friendly amendments . voice vote 9y/0n/0a . MK will update and send mail. JH will then mark as resolved. - 2250: VPI changes for LTL operators . passed, friendly amendments . DK will revise and send email. JH will then call for email vote. Ongoing ballot - 1932: LTL operators [DB] . Updated to address minor comments. . Ballot closes on 2008-02-06. - 1698 . Discussed changes. Some concern about language involving when the sampled value functions update. . JH will revise tonight. Champions results - 1995: DK: JH should tell DR that this is not a correct interpretation of the proposal and ask him to address ES's clarifications. - 1728: Clearly important for assertion and fv, discussed with Gord. Doesn't prevent further extensions. - 1900: DK: We can ask WG for more time to review this proposal and address Champions feedback. JH: We need to discuss the action plan outside this meeting. Major items: ??? None on the agenda except elsewhere. General working items: - 1901: Identifier for ## should be constant [EC] . YF reviewed and there were no changes required. JH will call for an email vote. - 2100: Synchronous resets [DK] . JH will solicit reviewers. - 2168: Formal semantics for clocking events [DK] . JH will send comments to DK. DK will revise and send e-mail. JH will call for an email vote. - 2069: Formal semantics for coverage [DK] . DB reviewed. JH will call for an e-mail vote. - 2173: Case statement in properties : changes in property spec syntax . JH will solicit reviewers. We did not get to the following items. Old items: - 1503: Assertion VPI changes [BT, LP] ------------------------------------------------------------------------- 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:Received on Tue Feb 5 10:54:42 2008
This archive was generated by hypermail 2.1.8 : Tue Feb 05 2008 - 10:55:13 PST