Hi Folks: I sent these notes out on 2008-02-19, but Dmitry seems never to have received him. This may just be reflector trouble. J.H. Minutes of IEEE P1800 SV-AC meeting #2007-40 Written by: John Havlicek Date: 2008-02-19 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[x-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) vv[xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) nn[---------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) vv[xxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) tt[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair) vv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair) vv[-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) vn[x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) nn[--------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) vv[xxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) vv[-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) nn[------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) vv[-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) vv[xxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems) |----------------------------------------------------- attendance on 2008-02-19 |------------------------------------------------------- voting eligibility on 2008-02-19 |-------------------------------------------------------- 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 Items passed by Champions: . 1667 Local variable arguments . 1668 Local variable initializers . 1729 Immediate assume and cover . 1995 Assertions and checkers in for loops Ballot results and discussion . 1686 Assertion evaluation does not wait on subroutines - Passed. . 1830 BNF does not have sequence methods - Passed, minor friendly amendments. . 1900 Checkers . 1901 Identifier for ## should be constant . 2069 Formal semantics for coverage - Passed. . 2100 Synchronous resets . 2173 Property case - Failed. . 1698 Semantics of sampled value functions outside assertions - Failed. Old items . 1503 Assertion VPI changes - Is SV-CC still working on this? Working items . 0966 $isunbounded and $ - What to do with it? . 1551 Make disable iff sampled . 1687 Wrong equivalence with $isunknown - Voice vote? . 1786 Annex F semantics for if-else wrong (fixed in 1932) - Voice vote "resolved,duplicate"? . 1806 Restrict property . 1982 Description of actual argument unclear, $ (fixed in 1549) - Email vote "resolved,duplicate"? 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 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 Items passed by Champions: . 1667 Local variable arguments . 1668 Local variable initializers . 1729 Immediate assume and cover . 1995 Assertions and checkers in for loops Ballot results and discussion . 1686 Assertion evaluation does not wait on subroutines - Passed. JH already moved to resolved state. . 1830 BNF does not have sequence methods - Passed, minor friendly amendments. . Voice vote 6y/0n/0a to approve friendly amendments. JH already moved to resolved state. . 1900 Checkers - Passed, friendly amendments - BT had friendly amendments. - Other comments from Shalom. Almost all have been addressed, but new friendly amendments came today and have not been implemented. - This proposal needs another vote. DK to do changes tomorrow. Then we can revote. DK proposes splitting into two documents. Changes at beginning of Clause 3 need careful attention. - DK will send instructions on how to compare word documents. - DK will revise and send e-mail. - We will try to voice vote this on 2008-02-21, and if that is not successful we will call a short e-mail vote to end on 2008-02-25. . 1901 Identifier for ## should be constant - Passed, friendly amendment from DK, font change and underscore. Voice vote 6y/0n/0a to approve friendly font change and underscore. EC will update the document and post on Mantis. JH will then move to resolved. . 2069 Formal semantics for coverage - Passed. JH already moved to resolved state. . 2100 Synchronous resets - Failed due to negative vote. Also there were friendly amendments. - People didn't like the operator names. - Change to sync_accept_on, sync_reject_on. - Plan to voice vote this on 2008-02-21, and if that is not successful we will call a short e-mail vote to end on 2008-02-25. . 2173 Property case - Failed due to negative vote. - Friendly amendment from DB. Equivalence symbol missing in formal semantics. - Discussion of semicolon goals. - YF will try to revise the VPI without breaking backward compatibility. Then JH will call another e-mail vote. . 1698 Semantics of sampled value functions outside assertions - Failed. - JH needs to rework, post and call for another e-mail ballot. . Discussion of the "maximal" condition. TT wants condition 2) folded into condition 1) and an example for clarity. . There were several rewriting requests. JH indicated the rationale for using the language that talks about simulation timesteps and occurrences of events rather than "clock ticks". . Some other friendly amendments need to be addressed. - EC raised issue about whether static variables may be referenced in sampled value functions. This is not discussed in 16.8.3. JH will add a statement that restricts the variables referenced to be static. Old items . 1503 Assertion VPI changes - Is SV-CC still working on this? Working items . 0966 $isunbounded and $ - What to do with it? - No one volunteered to drive this one, so we'll let it go for 2008. . 1551 Make disable iff sampled - DK thinks it's too late for this for 2008. - We'll let this one go for 2008. . 1687 Wrong equivalence with $isunknown - Voice vote 6y/0n/0a to approve. JH will move to resolved. . 1786 Annex F semantics for if-else wrong (fixed in 1932) - Voice vote to change state to "resolved,duplicate", as resolved in 1932, 6y/0n/0a. JH will change the state and add the note. . 1806 Restrict property - JH will call for an email vote on the latest proposal. . 1852 Sequence and property declaration before use - Voice vote to change state to "resolved,duplicate", as resolved in 1549, 6y/0n/0a. JH will change state and add the note. . 1982 Description of actual argument unclear, $ (fixed in 1549) - Voice vote to change state to "resolved,duplicate", as resolved in 1549, 6y/0n/0a. JH will change state and add the note. 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 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: -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Feb 21 05:56:29 2008
This archive was generated by hypermail 2.1.8 : Thu Feb 21 2008 - 05:57:47 PST