Minutes of IEEE P1800 SV-AC meeting #2007-48 Written by: Dmitry Korchemny Date: 2008-03-25 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: 7014135 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[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel) v[xxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys) n[---------------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys) v[xxxxxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale) v[xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale) t[xx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel – Provisional Chair) v[x-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[xxxxxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence) v[-xxxxx-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-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys) v[xxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems – Provisional Co-Chair) |------------------------------------------------------ attendance on 2008-03-25 |-------------------------------------------------------- voting eligibility on 2008-03-25 Agenda: ------- - Reminder of IEEE patent policy. See: http://standards.ieee.org/board/pat/pat-slideset.ppt - Meeting attendance. The question was raised whether the attendance should be marked for voting meetings on Thursday. DK will request clarification from NK. In case it is up to SV-AC to decide, the attendance will not be marked for voting meetings. - Working items: 2100 Synchronous aborts Voice vote to approve changes suggested by the champions 2008-03-13. Approved by voice vote: 8y/0n/0a. 1757 Asynchronous aborts VPI part extracted into a separate proposal 2336. 1757 approved by voice vote : 8y/0n/0a. 2336 VPI for asynchronous aborts (new item) Approved by voice vote: 8y/0n/0a. -Champions’ results: . 1901 Cycle delay for ## concatenation allows identifier to specify the delay w/o restricting to constant epxr Approved by the champions. . 1830 JEITA: A.2.10 There are no Sequence methods(ended, triggered, matched) in the BNF [added to my notes] Rejected by the champions. No changes needed to BNF. . 1806 Introduce "restrict property" verification statement Conditionally approved by the champions contingent upon SV-BC and SV-CC approving the keyword “restrict”. . 1698 The description of sampled value functions is insufficient Sent back to SV-AC to clarify clock inferencing for $rose (and all of the other sampled value functions). MK pointed out that the inferencing rules are already present in the LRM 2005, so no changes are needed. JH added a clarifying sentence to the example. Since the exact scheduling semantics of sampled value functions is not described in the LRM it was decided to remove the example with a continuous assignment with a $rose at its RHS. JH made the requested changes. Approved by voice vote: 8y/0n/0a. . 1687 Wrong equivalence for $isunknown Approved by the champions. . 1686 assertion evaluation does not wait on subroutines Approved by the champions. . 1648 Default reset for assertions Approved by the champions. . 1601 new keyword for untyped formal arguments Approved by the champions. . 1599 The assertion API and VPI sections need changes as per mantis #805 Approved by the champions. .1900 Checkers * Redo the relationships for 1900. Relationships refined using “child of” and “parent of”. * Recommend that the Working Group create a new sub-committee to address the checker related proposals, there should be members from all 4 of the Technical Committees. . 1769 Elaboration time user assertion and error reporting tasks Approved by the champions contingent upon SV-BC approval. * Addressed SV-BC feedback to allow finish_number for $fatal task. EC updated the proposal. Approved by voice vote: 8y/0n/0a (contingent upon fixing a typo in A.1.4 – redundant box; already fixed) . 2069 Formal semantics for coverage is missing Approved by the champions Other: . Conditional extension request to address the champions’ feedback on 2008-04-10. DK will send the extension request to NK. 1503: 27.33 VPI diagram of propertyinst has no vpiArgument. Status update. 2237: VPI for 1667. LP: Is this proposal backward compatible? BT will address LP question by email. DK will call to vote by email. Opens. VPI for immediate assertions. LP: Behavior of vpiAssertKill is not obvious – the VPI function is called after assertion has already been executed. The discussion to be continued by email.