P1800 Working Group, Below are the results of the most recent Champion's conference call Nov 28, 2007 conference call (7 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 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. P1800 Working Group, Below are the results of the most recent Champion's conference call Nov 28, 2007 conference call (7 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 ################################################### 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 meeting of November 28, 2007 ############################################### List of Mantis items unanimously approved by both the TCs and the Champions --------------------------------------------------------------------------- (31 mantis items) 1. 1570 SV-CC Clarify legality of 'integer' and 'time' as DPI parameter types - This was PASSED by the SV-CC on 09/13/2006 (unanimous). - Champions unanimously approved in Nov 28 conference call 2. 2056 SV-BC 12.7.1: Description of for-loop step assignment is not precise - unanimously approved by SV-BC via e-mail vote closed October 14, 2007 - Champions unanimously approved in Nov 28 conference call 3. 1939 SV-BC Hexadecimal escapes in strings (Table 5-1) - Unanimously approved by SV-BC on Sept. 6, 2007 - Champions unanimously approved in Nov 28 conference call 4. 1928 SV-EC clarification of coverpoint value resolution (18.5.6) - SV-EC Approved on July/23/2007 unanimously - Failed Champions email vote ending Sept 17th (1 opposed - John H.) - Was re-approved "as-is" by the svec by email vote - Discussion from Champions meeting of Nov 28 John - the terminology is not consistent and clear in the proposal - re-approving the proposal is the judgment of the committee and he is ok with that Shalom - 1928 is consistent with the current language in LRM. Neil - opened mantis item 2223 to capture feedback from the champions - Champions unanimously approved in Nov 28 conference call 5. 1871 SV-EC clarification needed for illegal/ignore transition bins - SV-EC Approved on July/23/2007 unanimously - Failed in the Champions 12-day email vote (ending Sept 17th). - SV-EC proposal was updated and approved by email vote October/10/2007 - Champions unanimously approved in Nov 28 conference call 6. 1737 SV-AC Incomplete fix from 1381 - SV-AC e-mail ballot on 2007-05-28, 7y/0n/4a - Failed in the Champions 12-day email vote (ending Sept 17th). - SV-AC updated and approved by voice vote, 9y/0n/0a Nov 13th - Champions unanimously approved in Nov 28 conference call 7. 1731 SV-AC Sampled value functions with arbitrary clocks - SV-AC Passed by e-mail ballot 2007-07-03, 9y/0n/2a - Passed with friendly amendments Champions email vote (ending Sept 17th) - SV-AC proposal updated and approved by email vote (Nov 5th) 10y/0n/0a - Champions unanimously approved in Nov 28 conference call 8. 1580 SV-EC Access to interface objects via virtual interface - SV-EC Approved on May 2, 2007 unanimously by email vote - Failed the Champions August 29, 2007 email vote with 2 no votes - SV-EC proposal updated, unanimously approved by voice vote (Oct 29th) - Champions unanimously approved in Nov 28 conference call 9. 2188 SV-AC Typo in 38.4.1 Placing assertion system callbacks - SV-AC 2007-11-13: Passed by voice vote, 9y/0n/0a - Champions unanimously approved in Nov 28 conference call 10. 2175 SV-AC D4 implementation feedback - 2007-11-06: Passed by voice vote, 5y/0n/0a - Champions unanimously approved in Nov 28 conference call 11. 2171 SV-AC Wrong usage of "property expression" in Reactive region - 2007-11-13: Passed by e-mail ballot, 7y/0n/2a - Champions unanimously approved in Nov 28 conference call 12. 2142 SV-EC Unclear if type parameters may be used to specify base class - SV-EC Approved on October/29/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call 13. 2141 SV-EC Unclear if type parameters can be used with scope resolution operator - SV-EC Approved on October/29/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call 14. 2025 SV-EC 5.9: The difference between string literals and array literals - SV-EC Approved on October/29/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call 15. 2021 SV-EC Relax excessively severe restriction on what can connect to a clocking inout - SV-EC Approved on October/29/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call 16. 2007 SV-EC 7.9.4: rules about int type index for associative arrays - SV-EC Approved on October/10/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call 17. 1897 SV-EC clarify "union of all significant bins" and "overlapping bins" in coverage computation - SV-EC Approved on October/10/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call 18. 1851 SV-EC all params declared inside class body are local - SV-EC Approved on October/29/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call 19. 1800 SV-AC Example with throughout in Clause 16.8.8 on pp332 of P1800-2008 Draft 4 is incorrect - SV-AC 2007-11-07: Passed by e-mail ballot, 8y/0n/2a - Champions unanimously approved in Nov 28 conference call 20. 1679 SV-EC 3.6 string casting statement unclear - SV-EC Approved on October/10/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call 21. 1608 SV-EC equality, inequality and conditional operator rules for class handles - SV-EC Approved on October/15/2007 unanimously - Champions unanimously approved in Nov 28 conference call 22. 1594 SV-EC conditional operator for class handles incorrect - SV-EC Approved on October/15/2007 unanimously - Champions unanimously approved in Nov 28 conference call 23. 1560 SV-EC Queue delete() method for entire array - SV-EC Approved on October/15/2007 unanimously. - Champions unanimously approved in Nov 28 conference call 24. 1500 SV-EC Rules for allowed statements in a function - SV-EC Approved on October/1/2007 unanimously - Champions unanimously approved in Nov 28 conference call 25. 1494 SV-AC Inferring enabling condition for coverage statement Duplicate - SV-AC 2007-11-11: E-mail vote passed 8y/0n/2a - Champions unanimously approved in Nov 28 conference call 26. 1384 SV-EC bit stream cast and pack/unpack for protected./local members - SV-EC approved unanimously on October 29, 2007 - Champions unanimously approved in Nov 28 conference call 27. 1360 SV-BC 11.2: clarify that separate always_comb's to different variable selects are allowed - SV-BC On November 12, 2007 unanimously approved - Champions unanimously approved in Nov 28 conference call 28. 1212 SV-BC Reversed cross-references to IEEE Std 1364 - SV-BC November 12, 2007 unanimously approved - Champions unanimously approved in Nov 28 conference call 29. 1199 SV-AC Standard reporting mechanism for functional errors/warnings, etc. Duplicate - SV-AC 2007-11-08 passed by e-mail ballot, 8y/0n/2a - Champions unanimously approved in Nov 28 conference call 30. 1197 SV-BC First class part selection operator - SV-BC November 12, 2007 unanimously approved - Champions unanimously approved in Nov 28 conference call 31. 339 SV-EC typos in queue method descriptions - SV-EC Approved on October/10/2007 unanimously by email vote - Champions unanimously approved in Nov 28 conference call List of Mantis items approved by the TC, but not unanimously ------------------------------------------------------------ (4 mantis items) 32. 1641 SV-AC need way to specify severity for printing general error messages - SV-AC Resolved by e-mail ballot, 2007-04-30, 7y/0n/2a - Was reviewed by the SV-BC Proposal needs to be updated to incorporate these system tasks into section with other system tasks. Updated based on feedback from the SV-BC and Shalom - SV-AC Voice vote to approve friendly amendments 7y/0n/2a [Johan Martensson and Erik Seligman abstained]. - Champions unanimously approved in Nov 28 conference call 33. 1278 SV-BC "initial" and "always" "constructs" versus procedural Resolution of "no change required" - SV-BC approved the resolution with 1 opposed and 1 abstained (Oct 29) Opposed - Cliff Cummings - he prefers different terminology. Abstained - Francoise Martinolle - she prefers different terminology. - Champions unanimously approved the resolution of "no change required" in Nov 28 conference call 34. 1723 SV-EC Size method for associative arrays - SV-EC Approved on June/11/2007 with 2 No votes: Cliff - doesn't think of size as being the number of elements, thinks of it as the address spanned, encompassed by elements already allocated. Stu - no change needed. - Failed to pass in Champions August 29, 2007 email vote with 2 no votes - SV-EC proposal was updated and approved Oct 29th (2 no votes) Cliff - likes num(), prefers not to tie up the word size size could be used in the future for other purposes Don - same reasons as Cliff - Champions unanimously approved in Nov 28 conference call 35. 1041 V-1364 12.5: case item expression ambiguity - SV-BC November 12, 2007 approved the proposal, with one abstain Brad Pierce abstained from the vote. While he does not disagree with BNF change, he's not convinced that commas should cause short-circuiting. - Champions unanimously approved in Nov 28 conference call List of Mantis items unanimously approved by the TC but some Champions abstained -------------------------------------------------------------------------------- (1 mantis item) 36. 2036 SV-BC Unique case and overlapping expressions in a case item - SV-BC November 12, 2007 unanimously approved - Champions approved in Nov 28 conference call with one abstain Stu - the wrong thing to do. Was against it in the committee (couldn't vote there since he missed that meeting). List of Mantis items approved by the Champions with friendly amendments ----------------------------------------------------------------------- (1 mantis item) 37. 2087 SV-EC Semantic intent of qualified BNF terminals must be clarified - SV-EC Approved on October/15/2007 unanimously - Champions unanimously approved in Nov 28 conference call with friendly amendments 1. duplicate this text in 1.6 2. fix typo at the end - spelling of array_identifier List of Mantis items unanimously approved by the TC but some Champions opposed -------------------------------------------------------------------------------- (1 mantis item) 38. 1609 SV-EC import statements should not be allowed in class scopes - SV-EC Approved on June/25/2007 unanimously - Failed to pass Champions August 29, 2007 email vote with 1 no vote - SV-EC The proposal was updated and approved unanimously (Sept 6th). - Champions approved in Nov 28 conference call with 1 opposed Stu - thinks we need to know the intent of the word "directly" before sending this to the Working Group (e.g. does it apply to methods?) " It shall be illegal to have an import statement directly within a class scope." - SV-EC Dec 3rd - confirmed that using the word directly is correct. List of Mantis items that failed to pass at the Champions level --------------------------------------------------------------- (2 mantis items) 39. 1601 SV-AC new keyword for untyped formal arguments - SV-AC Passed by e-mail vote on 2007-07-31, 8y/0n/0a - Failed to pass Champions August 29, 2007 email vote with 1 no vote - In the meantime, some friendly amendments were made and approved by the technical committee (passed by email vote). - Failed in Champions Nov 28 conference call - mailbox - has no formal type associated with it. - would like to solve this if had time. could use the same keyword for mailboxes - 'untyped' is a type itself. Move: Shalom - approve the proposal for Mantis item 1601 Second: John Oppose: FM - wants to see if it can be applied in other places Dave - schedule doesn't allow time for complete review - appears to be significant enough to require review Stu - wants sv-ec to have time to review it Neil - it should go to the sv-ec For: John, Brad, Shalom Motion failed - the sv-ec will be given time to review this proposal 40. 1336 SV-EC Rules for allowed statements in a function - SV-EC Approved on Jan/22/2007 unanimously - Failed in the Champions August 29, 2007 email vote with 1 no vote - SV-EC proposal updated and approved by voice vote (Oct 15th - 1 no vote) Stu - changes the rules for final blocks. Now allows NBA and other things that schedule future events (Others disagreed). Would change to yes if a new mantis opened for final blocks and added to the list for resolving by 12/15. - Failed to pass in Champion's meeting of Nov 28th conference call 13.4.5 in the proposal is in contradiction with 13.4 items c) and d) Move: Stu - send 1336 back to the sv-ec, address the conflict in 13.4 and to address restriction for NBA that tasks and functions have. 13.3.2 Second: Shalom Oppose: Dave - we need to make progress. prefers to open a new Mantis FM - agrees to opening a new Mantis item. Passed with 2 opposed - send it back to the sv-ecReceived on Sat Dec 8 17:20:14 2007
This archive was generated by hypermail 2.1.8 : Sat Dec 08 2007 - 17:20:21 PST