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-42 Written by: John Havlicek Date: 2008-02-26 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[xx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[----------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[x-xxxxxxxxx-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) nv[-x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) nn[---------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[x-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[-------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |------------------------------------------------------ attendance on 2008-02-26 |-------------------------------------------------------- voting eligibility on 2008-02-26 |--------------------------------------------------------- new voting eligibility Agenda: ------- - Reminder of IEEE patent policy. Items with actions in other committees: . 1599 API and VPI changes for 0805 - to be re-approved by SV-CC . 1757 accept_on/reject_on - to be reviewed and approved by SV-CC . 1769 Elaboration-time assertions - to be reviewed and approved by SV-BC . 1898 Explicit mappings from assertion system tasks to callbacks - to be reviewed and approved by SV-CC . 2005 Glitches with immediate assertions - to be reviewed and approved by SV-CC . 2088 Covergroups in checkers - to be reviewed and approved by SV-EC . 2089 Covergroups in checkers - to be reviewed and approved by SV-BC and SV-EC . 2182 VPI diagrams for checkers - to be reviewed and approved by SV-CC . 2250 VPI changes for LTL operators - to be reviewed and approved by SV-CC - Ballot results and discussion . 1698 Semantics of sampled value functions outside assertions . 1769 Elaboration-time assertions . 1806 Restrict property . 1900 Checkers . 1901 Identifier for ## should be constant . 2173 Property case Voice votes . 1932 LTL Operators . 2110 Checkers in loops Old items . 1503 Assertion VPI changes - Is SV-CC still working on this? Working items Other items Notes: ------- - Reminder of IEEE patent policy. Items with actions in other committees: . 1599 API and VPI changes for 0805 - to be re-approved by SV-CC . 1757 accept_on/reject_on - to be reviewed and approved by SV-CC . 1769 Elaboration-time assertions - to be reviewed and approved by SV-BC . 1898 Explicit mappings from assertion system tasks to callbacks - to be reviewed and approved by SV-CC . 2005 Glitches with immediate assertions - to be reviewed and approved by SV-CC . 2088 Covergroups in checkers - to be reviewed and approved by SV-EC . 2089 Checkers with final blocks - to be reviewed and approved by SV-BC and SV-EC . 2182 VPI diagrams for checkers - to be reviewed and approved by SV-CC . 2250 VPI changes for LTL operators - to be reviewed and approved by SV-CC - Ballot results and discussion . 1769 Elaboration-time assertions - failed due to negative vote [DK] - Discussion of first argument in runtime versions. Decided not to align. - EC will make the changes from the friendly amendments. - We will voice vote this on 2008-02-28. . 1900 Checkers - Passed, friendly amendments. - Net part is split. - Voice vote 9y/0n/0a to approve current version of 1900. - DK needs to address the latest comments from SB. - We will voice vote the final version on 2008-02-28. . 1901 Identifier for ## should be constant - Passed, friendly amendments. - EC will make the changes from the friendly amendments. - We will voice vote this on 2008-02-28. . 1698 Semantics of sampled value functions outside assertions - Passed, friendly amendment from DK. - Voice vote 9y/0n/0a to approve DK friendly amendment. - JH will update the proposal and then change the state on Mantis. . 1806 Restrict property - Passed, friendly amendments - Voice vote 9y/0n/0a to approve subject to last friendly amendment being implemented. - EC will implement the last friendly amendment, then JH will move the Mantis state. . 2173 Property case - failed due to negative vote. - Voice vote to approve subject to YF making subscript changes in Annex F: 7y/1n/0a. MK voted no: The reason is that I do not think it adds any critical functionality. - YF will make subscript changes and then JH will mark as resolved. Voice votes . 1932 LTL Operators - Voice vote to approve: 9y/0n/0a. - Discussed Champions feedback about keywords. SV-AC do not intend to make further changes unless feedback is given with specific suggestions. - JH will change the state to resolved. . 2110 Checkers in loops - Voice vote to approve: 9y/0n/0a. - JH will change the state to resolved. . 1987 Verification statement - JH needs to revise this again to address Stu's comment about "checker". and clarify the cross reference instructions for 16.2. - We will voice vote this on Thursday. . 2005 Deferred assertions - Voice vote to approve: 9y/0n/0a. - JH will change the state to resolved. - Were the comments from Francoise addressed? Old items . 1503 Assertion VPI changes - Is SV-CC still working on this? - LP says Jim Vallenga says there are still more things to be done, but SV-CC is focussed on their own issues now. Working items Other items . 2150 Use of automatic variables - JH sent send the specific changes to MK. - Voice vote to approve changes to 8y/0n/0a. JH will change the mantis state. . 2088 Covergroups in checkers - Failed in SV-EC and SV-BC. - Tom revised to disallow covergroup declarations in checkers. - JH will call a short e-mail vote to close on 2008-02-27. - We will voice vote on 2008-02-28 on any last changes. . 2089 Checkers with final blocks - Failed in SV-EC and SV-BC. - Tom revised, added three sentences, largely repeating conditions from Clause 9 on final blocks. - Tom will make final revision and send email. JH call a short e-mail vote to close on 2008-02-27. - We will voice vote on 2008-02-28 on any last changes. . 2091 Where concurrent assertions may appear - LP will make changes and upload to mantis - We will voice vote on 2008-02-28. ------------------------------------------------------------------------- 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 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 d: 0966/1982 // draft due 2008-01-22; open v: 1901 // review due 2008-01-15 m: 2100 // due 2008-02-12 d: 1806 // draft due 2008-01-29 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 Tue Feb 26 12:08:13 2008
This archive was generated by hypermail 2.1.8 : Tue Feb 26 2008 - 12:08:45 PST