SystemVerilog Champions, Below is the updated agenda for this week's Champions meeting. Neil -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. SystemVerilog Champions, Below is the updated agenda for this week's Champions meeting. Neil Toll Free Dial In Number: (866)839-8145 Int'l Access/Caller Paid Dial In Number: (215)446-3660 ACCESS CODE: 9301228 List of Mantis items for the next Champions meeting. August 7, 2008. 8-10am PDT. 1. 1728 SV-SC Introduce "let"statement - fixed - Unanimously passed by voice vote 12/04/07. - Sent back to SV-AC by Champions Nov 8th - Was approved by Champions - Sent to sv-sc by the Working Group March 27 - Sent back to sv-sc by Champions July 24 (mostly editorial changes) - SV-SC voted at 2008-07-29 mtg to approve Dmitry's updated proposal, which addresses the issues posed by the champions. Abstain: Tom, Steve, Manisha Passes: 8y, 0n, 3a 2. 2327 SV-AC 2173 adds property case, need to add vacuity definition and multi clocking behavior in it - fixed - approved by voice vote 2008-06-30: 5y/0n/0a - sent back to the technical committee by the Champions in the July 10th, conference call. - Passed by email vote 5y/0n/0a called 2008-06-23 (July 23?) 3. 1900 SV-SC Add new 'checker' construct to SVA - fixed - 2008-01-15: Passed by e-mail vote, 7y/0n/3a. - The proposal failed in the Champions email vote which ended on Feb 4th, 2008. Failed with 2 no-votes - was moved to the sv-sc - the Champions feedback and a lot of sv-sc issues were addressed - Passed voice vote at SV-SC meeting, 2008-07-22, conditional on some specific minor edits (implemented in version posted by Erik Seligman on 2008-07-23). 9y/0n/3a Neil and Francoise abstained due to not enough time to review. Steven Sharp abstained because he believes it is under-researched and too many changes have been made too quickly, though he has not actually spotted any specific problems. Note: there are two proposal to review (part1 and part2), which have the most recent timestamps. part1 7/18, part2 7/23 4. 2110 SV-SC Allow checkers in procedural for loops - duplicate - SV-SC voted to close in email vote ending 2008-07-21. Feature is now incorporated into 1900. 7y/0n/0ea/6ia (ea = explicit abstain, ia = implied abstain by not sending email) 5. 2411 SV-SC Allow using triggered method in sequences - duplicate - SV-SC voted to close as duplicate in email vote ending 2008-07-21. This is exactly the same proposal as 2415, accidentally entered twice. 7y/0n/0ea/6ia (ea = explicit abstain, ia = implied abstain by not sending email) 6. 2089 SV-SC Allow checker construct (0001900) to include final blocks with immediate assertions - duplicate - SV-SC voted to close as duplicate, in email vote ending 2008-07-21, since feature is now included in 1900. 7y/0n/0ea/6ia (ea = explicit abstain, ia = implied abstain by not sending email) 7. 1809 SV-BC forward references into $unit package - fixed - On March 25, 2008 the SV-BC unanimously approved the attached proposal. - The proposal was unanimously approved by the Champions in the April 24th, 2008 conference call. - The proposal was unanimously approved by the Working Group in the conference call of May 01, 2008. - Editor Note: I spent considerable time trying to add this proposal into Draft 6, and finally had to back everything back out. There were too many problems with the proposal to implement in its current form. The proposal needs to be rewritten to: 1) Use proper IEEE wording (no first person "we" or third person "you"). 2) Use paragraph styles consistent with the rest of the LRM 3) Corrent grammar, spelling, and punctuation errors. - On July 21, 2008, the SV-BC approved the updated proposal (1809-v9.htm) to address this issue. The vote was not unanimous. Shalom Bresticker abstained because he did not have enough time to review the proposal. 8. 2428 SV-EC There is a typo in the example of section 18.6 (page 468) i[1] is incorrect, it should be i[0] - fixed - Approved on July 21 2008, minor editorial changes 9. 2448 SV-BC BNF for packed arrays of enums - fixed - On July 21, 2008 the SV-BC unanimously approved the attached proposal to resolve this issue. 10. 1835 SV-CC JEITA: APIs Give a overarching name for APIs - fixed - The SV-CC PASSED this option on 07/30/2008. (unanimous) 11. 2226 SV-CC VPI Handle behavior for HDL objects of dynamic lifetime is not defined [I sent email to Chas to put it into the resolved/fixed state] - fixed - The proposal was sent back to the SV-CC by the Champions in the April 10th, 2008 conference call. - The SV-CC reviewed the latest proposal and PASSED it on 07/30/2008 (unanimous). 12. 529 SV-CC 27.21 & 27.22 Cannot get a handle to a class instance - duplicate - On 07/30/2008 the SV-CC voted to declare this a DUPLICATE of Item 0528. 13. 742 SV-CC Need VPI info on parameters that are types - fixed - The proposal was sent back to the technical committee by the Champions in the July 10th, 2008 conference call. The vote was unanimous. - The SV-CC PASSED this proposal on 07/30/2008 (unanimous). 14. 2447 SV-CC VPI data model needs to include enum vars in packed arrays (#1230 changes) pending SV-BC change (#2374). - fixed - The SV-CC PASSED this proposal on 07/30/2008 (unanimous). The SV-SC is working on updates to the following Mantis items, based on feedback from the Champions. The SV-SC will be meeting Tuesday morning and may approve updates to these proposals. 15. 2396 SV-SC Add edge identifier edge for events - fixed - Passed by voice vote in SV-SC meeting, 2008-07-22. 11y/0n/1a Abstains: Lisa - just not sure, seems like there are other ways to do it. - The proposal was sent back to the SV-SC by the Champions in the July 31st, 2008 conference call. 16. 2088 SV-SC Allow Checker construct (0001900) to include covergroups - fixed - Passed by voice vote at SV-SC meeting 2008-07-22, conditional on Tom reviewing p.3 example with two identical bins after return from vacation: did he intend this legal but odd case to illustrate something subtle, or should we replace it with a more typical case of disjoint bins? 8y/0n/4a Abstains: - Gordon based on email vote, likely to be substantive user-based issues resulting in implementation divergence. Risk factors are too high. Addresses current user needs, but will have future changes. - Steven based on same issues as Gord and hasn't reviewed the proposal. - Mirek: No expertise in cover groups. - Manisha: Agrees with Gordon - The proposal was sent back to the SV-SC by the Champions in the July 31st, 2008 conference call. 17. 2434 SV-SC Changes to seq/prop defaults and typing of actuals - fixed - Passed in voice vote at SV-SC meeting, 2008-07-22. 9y/1n/0a Mark Hartoog votes no - not needed, creates backwards compatibility issues. Clarification - not 100% sure about the note at the end, but the whole basic idea of casting these expressions to their self-determined type has the potential to create very subtle backwards compatibility issues per the face-to-face. - The proposal was sent back to the SV-SC by the Champions in the July 31st, 2008 conference call. NeilReceived on Mon Aug 4 17:09:36 2008
This archive was generated by hypermail 2.1.8 : Mon Aug 04 2008 - 17:09:39 PDT