Minutes of IEEE P1800 SV-AC meeting #2007-44 Written by: Dmitry Korchemny Date: 2008-03-04 Time: 16:00 UTC (8:00 PST) Dial-in information: -------------------- Toll number: +1 916-356-2663 Toll free number (US): 888-875-9370 (U.S. toll-free) 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[xxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[-----------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) v[xxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale) t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel – Provisional Chair) v[x-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[xxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[xxx-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[---------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) v[x-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems – Provisional Co-Chair) |------------------------------------------------------ attendance on 2008-02-28 |-------------------------------------------------------- voting eligibility on 2008-02-28 Agenda: ------- - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt - Election of SV-AC chair and co-chair. - Extension schedule. 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 Note from JH: “To align with 1987, "verification statement" should be changed to "assertion statement" or "concurrent assertion" as appropriate. There are several occurrences.” . 1769 Elaboration-time assertions - to be reviewed and approved by SV-BC Address comments sent by DW . 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 Final procedure 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 Other items: - Checker proposal. Recent comments, initial procedure in checkers. Opens. Notes: ------ - Reminder of IEEE patent policy. - Election of SV-AC chair and co-chair. Dmitry Korchemny (Intel) was elected as a provisional SV-AC chair (9y/0n/0a). Tom Thatcher (Sun Microsystems) was elected as a provisional SV-AC co-chair (9y/0n/0a). The committee would like to express its appreciation to John Havlicek for his outstanding work as an SV-AC chair (8y/0n/1a-JH) - Extension schedule The committee will work on VPI-related proposals in collaboration with SV-CC, and will address feedback coming from the champions and from other P1800 committees. General note: the owners of the VPI-related proposals will be working closely on their proposals with SV-CC. DK will contact Charles to elaborate the coordination between SV-AC and SV-CC. BT communicated a message from SV-CC that SV-AC representatives should attend SV-CC meetings. JH suggested that the proposals’ owners should attend the SV-CC meetings. BT: SV-CC may be busy with their own agenda first. JH: In this case look for the volunteers from SV-CC to review the proposals. Items with actions in other committees: . 1599 API and VPI changes for 0805 - to be re-approved by SV-CC BT will make sure that it will be handled by CC. The requested changes have already been made. . 1757 accept_on/reject_on - to be reviewed and approved by SV-CC Note from JH: “To align with 1987, "verification statement" should be changed to "assertion statement" or "concurrent assertion" as appropriate. There are several occurrences.” DB already addressed JH comments, only one occurrence of "verification statement" found. . 1769 Elaboration-time assertions - to be reviewed and approved by SV-BC EC will address the comments from DW and DK will call for vote. . 1898 Explicit mappings from assertion system tasks to callbacks - to be reviewed and approved by SV-CC This proposal hasn't been yet discussed by SV-CC. BT will send comments to Charles and ask to put it on the agenda. . 2005 Glitches with immediate assertions - to be reviewed and approved by SV-CC ES will contact SV-CC BT: need to address the naming issue, SV-CC asked to reconsider the name of the deferred assertions. DK: ask champions to decide. JH: this is not a champions' issue, should be addressed by the committees. ES will negotiate the naming issue. It looks like that SV-AC would not object to change the syntax from “assert #0” to “assert deferred” in case there is a common agreement in other committees, though this issue has not been officially voted. . 2088 Covergroups in checkers - to be reviewed and approved by SV-EC TT: 1900 should be addressed first. . 2089 Final procedure in checkers - to be reviewed and approved by SV-BC and SV-EC TT: 1900 should be addressed first. . 2182 VPI diagrams for checkers - to be reviewed and approved by SV-CC. ES will assume the ownership of 2182. DK will distribute comments received from Jim Vellenga and Charles Dawson. . 2250 VPI changes for LTL operators - to be reviewed and approved by SV-CC ES will assume the ownership of 2182. Other items: - Checker proposal. Recent comments, initial procedure in checkers. DK: It makes sense to change the inference rules in the regular initial procedure to infer the whole sensitivity list. This is both intuitive and will allow eliminating initial_check procedure. JH: It will break the backward compatibility. DK: The only incompatible behavior will occur when there is an assertion with an implicit clock in the initial procedure with no clock inference according to the current inference rules in case when a default clocking has been specified. Such situations are unlikely to occur in practice. TT: The inference rules between initial and always will become inconsistent and will be confusing. DK: Let’s vote when we are allowed to. Opens. There will be no SV-AC meeting this Thursday. The next SV-AC meeting will occur on Monday, 03/11/08at 16:00 UTC (9:00 PST). DK will be traveling and TT will lead the meeting.