SystemVerilog Champions, Below is the updated agenda for this week's Champions meeting (version 3). The sv-sc has approved 3 items that had been sent back to them from the Champions (1728, 2088, 2396). The same set of 17 mantis items that were on the previous version of the agenda are still on this agenda. I added a few notes for those mantis items that had updates from the sv-cc (2226) and the three mentioned above for the sv-sc. This is the full set of remaining mantis items for the Champions. We have quite a few proposals to review. It helps if you are able to send any issues out by email, ahead of the actual 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 (version 3). The sv-sc has approved 3 items that had been sent back to them from the Champions (1728, 2088, 2396). The same set of 17 mantis items that were on the previous version of the agenda are still on this agenda. I added a few notes for those mantis items that had updates from the sv-cc (2226) and the three mentioned above for the sv-sc. This is the full set of remaining mantis items for the Champions. We have quite a few proposals to review. It helps if you are able to send any issues out by email, ahead of the actual 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 - The sv-sc made another small update, based on input from Shalom. The wording of the BNF footnote at the end of the proposal for a constant let is a little awkward: 45) In a constant_let_expression, all arguments shall be constant_expressions and its right hand side shall be constant expression itself provided that its formal arguments are treated as constant_primary there. I think "be constant expression" should be "be a constant_expression". - SV-SC voted to approve latest edit at 2008-08-05 mtg. 9y/0n/0a. 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-07-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 - 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). - John Sheilds has now placed the mantis item into the resolved state. (aug 5th) 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 has approved updates to the following proposals. The changes were made to address Champions feedback. 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. - SV-SC approved latest edit in 2008-08-05 mtg. 9y/0n/0a. 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. - SV-SC approved latest edit in 2008-08-05 mtg. 9y/0n/0a. A proposal update is in progress for the following Mantis item. 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. - Gord was on vacation and was not able to address this Champions issues. Mike Burns will work on a new prroposal. - The svsc has requested input from the Champions on any additional issues that they might see with the current proposal. NeilReceived on Tue Aug 5 14:23:16 2008
This archive was generated by hypermail 2.1.8 : Tue Aug 05 2008 - 14:23:19 PDT