Minutes of IEEE P1800 SV-AC meeting #2007-49 Written by: Dmitry Korchemny Date: 2008-04-08 Time: 16:00 UTC (9:00 PDT) Dial-in information: -------------------- Toll number: +1 916-356-2663 Toll free number (US): 888-875-9370 (U.S. toll-free) Bridge: 4, Passcode: 4055590 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[xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xx-xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[-----------------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxxxxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) v[xxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale) t[xxxx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel – Provisional Chair) y[xx--xx-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------------x--xxx.....................] Joseph Lu (Altera) n[--------x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper) n[----------------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale) v[xx-xxxxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[x-xxxxxx-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel) n[--------------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics) v[xx-x-x-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems – Provisional Co-Chair) |------------------------------------------------------ attendance on 2008-04-08 |-------------------------------------------------------- voting eligibility on 2008-04-08 Agenda: ------- - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt - Meeting attendance. NK clarified that the attendance should be counted for all the voting meetings. The voting rights have been updated accordingly. New temporal committee to handle checker related proposals. DK and JH briefly updated SV-AC on the first meeting of the new SV-SC committee. - Working items: . 1806 - Introduce "restrict property" verification statement Waiting for SV-BC and SV-EC feedback. JB suggest using constraint instead of restrict. JH: No need to change the existing proposal unless requested by SV-BC/SV-EC. . 2150 - use of automatic variables in action block and subroutine calls should not be allowed ---------------------------------------------------------------------- Neil Korpusik - 2008-03-08 19:13 ---------------------------------------------------------------------- The proposal was unanimously approved by the Champions in the February 25th, 2008 conference call with friendly amendments. Friendly amendments: - "can only be of a type allowed in 16.5.1" --> "shall be of a type allowed in 16.5.1" - "as an argument to subroutine call" --> "as an argument to asubroutine call" - "associate arrays" --> "associative arrays" From: The action block of an assert statement shall not refer to an automatic variable, other than a loop control variable, declared outside of the action block. TO: The action block of an assert statement shall not refer to an automatic variable declared outside of the action block, other than a loop control variable. ---------------------------------------------------------------------- Neil Korpusik - 2008-04-05 18:09 ---------------------------------------------------------------------- The proposal was unanimously approved by the Working Group in the conference call of March 27, 2008. Approval was contingent upon the changes requested by the champions having been made. Neil reviewed the set of changes contained in the February 26 version of the proposal. The changes requested by the Champions have not yet been incorporated into the proposal. This proposal can not go to the Approved state until those changes are made. . MK made the requested changes. . The updated proposal passed by the voice vote: 9y/0n/0a. . 2333 - Champions feedback on 0002173 . This item is a duplicate of 2327. . Passed by voice vote: 9y/0n/0a. VPI-related items: . 1503 27.33 VPI diagram of propertyinst has no vpiArgument SV-CC feedback: “27.33 VPI diagram of propertyinst has no vpiArgument. We had thought that identifiers should have been modeled more like io decls. Jim suggested we go back to adding a]vpiTypeSpec for prop formal decl and seq formal decl. Remove the vpiExpr and what it points to with a dotted enclosure for type spec. Same thing for seq formal decl. Rest of the changes seem to be okay. Abi and Chuck were still not clear on the proposal. Jim tried to explain. Bassam pointed out that there can be an initialization expression. Was that what vpiExpr was for? Looks like we need another proposal before we could accept this one. Bassam will try to put together another one for next week.” This item will be discussed in SV-CC meeting 2008-04-09. BT will notify SV-AC about the SV-CC decision, and DK will call for email vote in case of a positive resolution in SV-CC. . 2246 VPI definitions of assertkill need modification New proposal. . MK requested rephrasing of “vpiAssertionSysKill considers all attempts in progress as discarded …” as “vpiAssertionSysKill discards all attempts in progress”. . The updated proposal passed by voice vote: 9y/0n/0a. . 2237 VPI additions for 1667 Fix to be consistent with Bassam's changes to 1503. . JH kept only the relevant part of the proposal. The updated proposal passed by voice vote: 9y/0n/0a. .2336 VPI part of 1757 Reconcile the names in 2336 and 2100 ('On' substr present or absent) from 2100 and 1757. 2336. The current 'editors note' is not really sufficient for this purpose. . DB updated VPI names to vpiAssertOnOp and vpiRejectOnOp. The updated proposal passed by voice vote 9y/0n/0a. . 2250 VPI changes related to 1932 Incorporate next->nexttime change from 1732. . ES updated the proposal. The updated proposal passed by voice vote: 9y/0n/0a. . 2173, 2326, 2327 Why are these items related to the new committee? . These proposals were removed from the SV-SC agenda. ES: 2326 will be discussed at the SV-CC meeting 2008-04-08. Other: Static class variables in assertions. ES opened a new Mantis item. The discussion is postponed to the next PAR. Opens. . Concurrent assertions in procedural code. SV-AC held a discussion about concurrent assertions in procedural code following SS emails. It was agreed about SS concerns, and JH also pointed to a potential inconsistency between embedded cover property statements and the functional coverage (covergroups, etc.). Nevertheless everybody believes that concurrent assertions in the procedural code is an important features that should be kept in the language both because of its usability and because of the backward compatibility reasons. TT pointed out that the coding methodology may address the issues. DK suggested to add a limitation about referencing the blockingly assigned variables in always_ff procedures in embedded concurrent assertions. It was recommended to address the inconsistency issues in the future. It was also recommended to reconcile assertion and functional coverage in SV. . checker procedures Following MF notes potential alternatives to always_check and initial_check procedures were discussed. One option (TT) is to reintroduce @(edge clk) construct. This is the SV-SC issue and should be discussed there. . Next SV-AC meeting will take place 15-Apr.