P1800 Working Group, Below are the results of the most recent Champion's conference calls Dec 20, 2007 conference call (6 of the 8 Champions were on-line) Jan 17, 2008 conference call (6 of the 8 Champions were on-line) We would like to get approval for those Mantis items that have been approved by both the Technical Committees and the Champions. A summary of the Mantis items is shown below. Neil ##################################################################### From Working Group meeting of November 15, 2007, December 13, 2007 ##################################################################### Members of the Working Group asked for more time to review the following two mantis items. 42. 1556 SV-EC 2007-10-02 in-line static variable initialization - require keyword static? - Approved by SV-EC June/11/2007 unanimously - Champions sent it back to the svec - backward compatibility concern - issue with the examples - Approved by SV-EC Sept/17/2007 with 3 no votes Arturo - this is inconsistent with the rest of the language - doesn't see a need for adding this requirement. Mehdi, Mark - not a serious enough issue to create a backward compatibility problem - This requirement was in SystemVerilog 3.0, but got removed by svec - Champions unanimously approved in Oct 25 conference call 52. 1645 SV-BC behavior of keywords directives at end of compilation unit - October 29, 2007 the SV-BC approved, with 3 no votes Cliff, Heath, Stu believe the original restriction is good and that `begin directives should be paired to avoid the potential case where multiple files are compiled in the same compilation unit and somebody forgot to turn off the keywords somewhere in the middle of the list of files. To silently tun off the keywords by reaching an EOF is a bad idea (in Cliff's opinion). An error for a missing `end_keywords directive can be quite useful. - Champions approved in Nov 8 conference call, with 1 abstain (Stu) ######################################################################## From Champions meetings of (December 20, 2007) and (January 17, 2008) ######################################################################## List of Mantis items unanimously approved by both the TCs and the Champions --------------------------------------------------------------------------- (28 mantis items) 1. 2222 SV-BC Completely incorrect statement in 6.5 about variable ports - No change required - sv-bc Unanimously approved via e-mail vote closed December 10, 2007 - The resolution of "no change required" was unanimously approved by the Champions in the December 20, 2007 conference call 2. 2215 SV-EC LRM isn't clear enough on ways that a default specialization is constituted - Fixed - Unanimously approved by SV-EC in November 26th conference call - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 3. 2214 SV-EC Interaction of imports, $unit and bind are unclear - Fixed - Unanimously approved by SV-EC in November 26th conference call. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 4. 2211 SV-EC typedefs are required for some type references - Fixed - Unanimously approved by SV-EC in November 26th conference call. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 5. 2178 SV-BC BNF error in constant_primary - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 6. 2170 SV-BC 11.4.5 Description of equality operator is not complete - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 7. 2169 SV-BC part-select terminology fuzzy - Fixed - December 3, 2007 the SV-BC unanimously approved - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 8. 2164 SV-EC Use "base class" instead of "parent class" in 8.12 - Fixed - Unanimously approved by SV-EC in December 10th conference call. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 9. 2152 SV-BC Bogus statement re. force/release behavior in 6.5 "Nets and variables" needs rework - No change required - Unanimously approved resolve issue as already addressed via e-mail vote that closed December 3, 2007 - The resolution of "no change required" was unanimously approved by the Champions in the December 20, 2007 conference call. 10. 2149 SV-EC Covergroups sample method with arguments - Fixed - Unanimously approved by SV-EC in December 10th conference call. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 11. 2113 SV-EC Inconsistency in constraining assoc array size - Fixed - Unanimously approved by SV-EC in November 12th conference call. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 12. 2033 SV-AC Explicitly mention generate blocks as sequence and property declaration scope - Fixed - Unanimously passed by voice vote 2007-11-27. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 13. 1957 SV-BC Macros: ambiguous whether empty arguments can be used - Fixed - Champions email vote of Sept 17 - passed with friendly amendments Shalom made the updates - The SV-BC unanimously approved the attached proposal on December 3, 2007 - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 14. 1857 SV-EC external method definitions and parameterized class types Unanimously approved by SV-EC in November 26th conference call. - Fixed - Approved on November/26/2007 unanimously - Neil - recategorized it as an enhancement (new semantics) - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 15. 1583 SV-BC Does an importing a symbol make it visible for hierarchical referencing - Fixed - The SV-BC unanimously approved the attached proposal via e-mail vote that closed December 10, 2007. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 16. 1533 SV-AC LRM not clear about types of local variables in properties and sequences - Duplicate - 2007-11-20: E-mail vote passed to change state to "resolved, duplicate" as subsumed by 1668, 5y/0n/0a. - The Resolution of Duplicate was unanimously approved by the Champions in the December 20, 2007 conference call 17. 1345 SV-BC 10.4: "illegal" unique if/case issues - Fixed - The SV-BC unanimously approved the attached proposal via e-mail vote that closed December 10, 2007. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 18. 1338 SV-BC clarify definition of `" character in macros - Fixed - The SV-BC unanimously approved the attached proposal on December 3, 2007. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 19. 329 SV-BC Package imports in port lists - Fixed - The SV-BC unanimously approved the attached proposal on December 3, 2007. - The proposal was unanimously approved by the Champions in the December 20, 2007 conference call 20. 1336 SV-EC Rules for allowed statements in a function - Fixed - Problems flagged by Champions (Nov 28) were addressed. - Approved on January 7 2008, unanimously - Neil - added a note to editor on word 'new' needs to be bold in examples. - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 21. 2037 SV-BC Setting parameters in Configurations - Fixed - Enhancement - Approved unanimously by SV-BC on Jan. 7, 2008. - Neil notified the svcc that they should review the proposal. - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 22. 2102 SV-BC Unnecessary difference between packed and unpacked objects - Fixed - On December 17, 2007 the SV-BC unanimously approved Shalom's proposal (uploaded on December 18, 2007). - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 23. 1863 SV-BC Add $system - Fixed - On December 17, 2007 the SV-BC unanimously approved the attached proposal. - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 24. 2131 SV-BC Parallel_case equivalent needed for case and if statements - Fixed - On December 17, 2007 the SV-BC unanimously approved the attached proposal. - Neil - added a note to the Editor about keywords needing to be added to 21 - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 25. 1602 SV-BC 12.4.3: behavior of task/function inout arg with default is ambiguous - Fixed - On December 17, 2007 the SV-BC unanimously approved the attached proposal. - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 26. 2184 SV-BC Data query and array query system functions allowed in constant expressions - Fixed - On December 10, 2007 the SV-BC unanimously approved the attached proposal. - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 27. 1702 SV-EC queue syntax issues - Fixed - Approved unanimously Dec 10, 2007. - Neil - notified the svcc of this mantis item which contains new semantics - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 28. 2137 SV-EC Some assertion contexts should be procedural - Fixed - Approved on December 17, 2007 unanimously. - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call List of Mantis items approved by the TC, but not unanimously ------------------------------------------------------------ (5 mantis items) 29. 2217 SV-BC Name resolution - hierarchical and member select rules - Fixed - Approved on December 3, 2007 with one abstain. Abstain: Shalom (not completely satisfied with placement nor term "directly visible") - The proposal was approved with one abstain by the Champions in the December 20, 2007 conference call Shalom (in absentia) "I don't think the first bullet explains why s1 is directly visible in the example shown." 30. 1682 SV-AC Future value functions - Fixed - 2007-12-24: Passed by e-mail vote, 7y/0n/3a. - Neil - added a note to the Editor for the following (Stu was OK with this) - The proposal adds functions to 19.12. They should also be in the list of 19.1 - Neil - notified the svcc about it (touches callbacks) 38.4.2.1 - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 31. 1984 SV-BC 22.2.2.3: bad example? - Fixed - On December 17, 2007 the SV-BC approved with one abstain Brad (should address ballot issue 228 and make current text legal) - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 32. 1619 SV-BC allow specification of default input values for module ports - Fixed - On December 10, 2007 the SV-BC approved the attached proposal. Opposed: Cliff - concerned that it removes important port connection checks Abstain: Mike (did not have time to follow details) - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call 33. 2225 SV-BC corrections to upwards hierarchical resolution - Fixed - On December 10, 2007 the SV-BC approved the attached proposal. Shalom abstained. He believes the proposal is an improvement, but he feels the text referring to hierarchical name in 22.8 should be combined with this. - The proposal was unanimously approved by the Champions in the January 17, 2007 conference call List of Mantis items unanimously approved by the TC but some Champions abstained -------------------------------------------------------------------------------- (1 mantis item) 34. 0997 V-1364 4.1.4 -- expression evaluation short circuiting - Fixed - On December 10, 2007 the SV-BC unanimously approved the attached proposal. - Brad - makes some implementations not backward compatible - short-circuiting situations in expressions - makes things more deterministic, and more formal verification friendly - The proposal was approved by the Champions in the January 17, 2007 conference call with one abstain Stu - thinks the tool should decide on short-circuiting. - has some concern about backward compatible List of Mantis items approved by the Champions with friendly amendments ----------------------------------------------------------------------- (2 mantis item) 35. 1683 SV-AC Relax rules for building multiclocked properties - Fixed - 2007-12-24: Passed by e-mail ballot, 8y/0n/2a - Neil opened Mantis item 2248 with feedback from the Champions. During the review of Mantis item 1683 the Champions noted the following in their conference call held January 17th, 2008. It was agreed that the Technical Committee could work on these issues as a separate Mantis item. "leading clock" - what does it mean? - this phrase is used a lot. The change in terminology is confusing. The first usage of "leading clock" should have a reference to 16.15.1 The distinction between "leading clock" and "semantic leading clock" is not clear. - The proposal was unanimously approved by the Champions in the January 17th, 2008 conference call with friendly amendments. Page 8, inherited - changed to italic. There are other places where it was not changed. The following was also noted: Page 3, "overlapping tick" - there is a very large space there. 36. 1548 SV-BC 5.1.13: description of condition reversed - Approved by Champions in September 17, 2007 conference call with friendly amendments. - sv-bc unanimously approved the updated proposal December 3, 2007 List of Mantis items unanimously approved by the TC but some Champions opposed -------------------------------------------------------------------------------- (1 mantis item) 37. 1571 SV-BC Add default values for macro arguments - Fixed - The SV-BC unanimously approved the attached proposal via e-mail vote that closed December 10, 2007. Steven Sharp - email (he abstained in the sv-bc email vote) "I still have more general concerns about adding this functionality at this stage of the process, when there are still open issues with the existing macro functionality. However, since nobody else appears to share that concern, I will not vote against the proposal. There is no point in wasting meeting time on a live vote if nobody else votes against this in the email vote." Stu - thinks it is a fairly complex change - The working group needs to address Dave's point about the PAR. - It's a user enhancement request from a user who uses a lot of macros Abstain: Francoise - thinks it wasn't discussed properly. There should have been more discussion. Adds new functionality that isn't well thought out. Opposed: Dave - I believe the magnitude of this enhancement goes beyond the PAR and should be implemented and donated before approving. Passed with 1 opposed and 1 abstain Brad, Stu, John - in favor Dave - opposed Francoise - abstain ** update Shalom mentioned after the meeting - that he would have voted in favor of the proposal. - The proposal was approved by the Champions in the December 20, 2007 conference call with 1 opposed and 1 abstain.