FYI, The next meeting is tomorrow. Neil Neil Korpusik wrote: > Hi Champions, > > Our next conference call will be Thursday, April 10 8am-10am PDT. > Attached is the list of Mantis items for review. > > > Toll Free Dial In Number: (866)839-8145 > Int'l Access/Caller Paid Dial In Number: (865)524-6352 > ACCESS CODE: 9301228 > > > > Neil > > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. List of Mantis items for the next Champions meeting. April 10, 2008. 8-10am PDT. 1. 2336 SV-AC VPI part of 1757 - fixed - 2008-03-25: Approved by voice vote 8y/0n/0a. 2. 2335 SV-AC Minor fix for 1641 - fixed - 2008-03-20: Voice vote 5y/0n/0a 3. 2334 SV-BC Champions feedback on 0002106 - no change required - On March 25, 2008 the SV-BC unanimously voted to resolve this issue with no action required. 4. 2304 SV-BC Champions feedback on Mantis item 2106 - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. 5. 2269 SV-BC 6.24.1: sign/width cast unclear - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. Stu dissented via previous e-mail vote on this proposal but was not in attendance at the meeting of March 25. The SV-BC committee felt the issues raised by Stu are well addressed by the proposal but acknowledge that such specificity may make it more challenging to understand in some cases. - Email from Stu (April 01) - as pointed out by Shalom "I accept the arguments given by Shalom and Steven, and withdraw my objections to the proposal. What I consider most important is the LRM specify a non-ambiguous behavior, which I feel this proposal does." 6. 2262 SV-CC Missing definition in vpi_user.h for vpiIsProtected - fixed - The SV-CC PASSED this item on 03/19/2008 (unanimous). 7. 2251 SV-BC `include with "filename" - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. 8. 2235 SV-BC Clarifications needed for "ref" mode actuals - fixed - On March 25, 2008 the SV-BC approved the attached proposal. Two members abstained from the vote: Shalom (the term indexed select is misleading) Francoise (Unsure if this is an improvement) 9. 2226 SV-CC VPI Handle behavior for HDL objects of dynamic lifetime is not defined - fixed - The SV-CC PASSED this on 03/26/2008 with the following vote: Michael ABSTAINED (did not get to fully review the proposal) Abi, Chuck, Jim, John, Anil, Bassam, Ghassan, Francoise IN FAVOR There were many friendly amendments (see minutes). John to implement and delete old proposals. - Neil sent a request to the TC chair for an explanation in the bug notes. There was a new proposal uploaded after the latest vote in the svcc. - Chas says it IS ready for the Champions. 10. 2218 SV-CC Clarify meaning of vpi_compare_objects() - fixed - The SV-CC PASSED this Item on 03/12/2008 (unanimous). 11. 2216 SV-CC Details missing from VPI Generates object diagram - fixed - The SV-CC PASSED this item on 03/12/2008 (unanimous). 12. 2143 SV-CC How should VPI handle index expressions with side effects? - fixed - The SV-CC PASSED the "conservative" proposal on 03/26/2008 (unanimous) Jim Vellenga to remove other proposals. 13. 2094 SV-CC Need to extend VPI to handle class specializations - fixed - The SV-CC PASSED this on 03/26/2008 (unanimous) 14. 2054 SV-CC Draft 3a, Section 40 - Deprecate Data Read API - fixed - The SV-CC PASSED this on 03/26/2008 Vote as follows: Michael, Francoise, Ghassan OPPOSED Bassam ABSTAINED Abi, John, Chuck, Jim, Steve, Anil IN FAVOR 15. 2008 SV-BC Glitch problem in unique/priority if/case - fixed - The latest proposal was approved by the SV-BC on March 17, 2008. The vote was not unanimous: Opposed: Stu (ambiguous severity level will lead to implementation differences that will be problematic for users) Abstain: Heath (agrees with Stu but no enough to oppose) Alex (joined the conversation late) 16. 1932 SV-AC Introduce LTL and other temporal operators - fixed - was sent back by the champions (email vote of Feb 23) - The TC updated the proposal to address the Champions feedback - 2008-03-20: Voice vote 5y/0n/0a - Still has issues with keywords??? (changed "next" to "nexttime") 17. 1757 SV-AC Property resets: accepton(b) P, rejecton(b) P - fixed - Was sent back to the svcc by the champions (December 20) - Extracted the vpi portion out into mantis 2336 - 2008-03-25: approved by voice vote 8y/0n/0a. - I did not explicitly check to ensure that the Champions feedback was addressed (Neil). 18. 1688 SV-CC Performance of VPI access to memories and MDAs is inadequate - fixed - The latest proposal was not approved by the sv-cc. I sent a note to the Chair, requesting input. - The latest proposal will be reviewed by svcc in Wed 4/9 meeting (Chas) 19. 1465 SV-BC 19.8: port declarations without directions - clarification - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. The following Mantis items are in the Resolved state but they are all related to the Checker construct. The Champions will not address these until they are processed by the new sub-committee which was formed by the Working Group. 2089 SV-AC Allow checker construct (0001900) to include final blocks with immediate assertions 2088 SV-AC Allow Checker construct (0001900) to include covergroups 2110 SV-AC Allow checkers in procedural for loops 2182 SV-AC Elaborate VPI diagrams for checkers 2173 SV-AC Add case construct for properties. 2326 SV-AC add VPI diagrams for property case 2327 SV-AC 2173 adds property case, need to add vacuity definition and multi clocking behavior in itReceived on Wed Apr 9 18:53:53 2008
This archive was generated by hypermail 2.1.8 : Wed Apr 09 2008 - 18:53:56 PDT