-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. Champions meeting minutes of December 20, 2007 Attendees: ---------- 1. * Stu Sutherland 2. - Surrendra Dudani 3. * Brad Pierce 4. * Francoise Martinolle 5. - Shalom Bresticker (sent some input ahead of the meeting) 6. * John Havlicek 7. * Dave Rich 8. * Neil Korpusik Review IEEE patent policy ------------------------- ref: http://standards.ieee.org/board/pat/pat-slideset.ppt Move: Stu - assume the patent policy was read Second: Francoise Passed unanimously List of Mantis items ready for review: ------------------------------------- 1. 2222 SV-BC Completely incorrect statement in 6.5 about variable ports - No change required - Unanimously approved via e-mail vote closed December 10, 2007 Move: Francoise - approve the resolution for Mantis item 2222 Second: stu Passed unanimously 2. 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") John - not clear about "dotted name 2" (s2) in the proposal. Stu - suggests that we get this change in, it could be amended later. Move: Francoise - approve the proposal for Mantis item 2217 Second: Stu Abstain: Shalom (in absentia) I don't think the next bullet explains why s1 is directly visible. Passed with one abstain 3. 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 Dave - the friendly amendment was uploaded. Move: Francoise - approve the proposal for Mantis item 2215 Second: Brad Passed unanimously 4. 2214 SV-EC Interaction of imports, $unit and bind are unclear - Fixed - Unanimously approved by SV-EC in November 26th conference call. John - asked about wildcard imports. FM - explained it to John A bind can't trigger a wildcard import. Adding a bind can't cause additional imports. John - bind statement - same as bind directive Brad - why can't a bind cause a wildcard import? FM - it would disturb the rest of the design. - don't want to change it just by adding a bind. - binds are added during elaboration time. Stu - check on "wild card" versus "wildcard" - editor issue. AI/Neil - add a bug note to check wild card versus wildcard Move: Brad - approve the proposal for Mantis item 2214 Second: Francoise Passed unanimously 5. 2211 SV-EC typedefs are required for some type references - Fixed - Unanimously approved by SV-EC in November 26th conference call. Move: Francoise - approve the proposal for Mantis item 2211 Second: Stu (didn't really follow it) Passed unanimously 6. 2178 SV-BC BNF error in constant_primary - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 Move: Brad - approve the proposal for Mantis item 2178 Second: Stu Passed unanimously 7. 2170 SV-BC 11.4.5 Description of equality operator is not complete - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 Move: Brad - approve the proposal for Mantis item 2170 Second: Dave Passed unanimously 8. 2169 SV-BC part-select terminology fuzzy - Fixed - December 3, 2007 the SV-BC unanimously approved Move: Brad - approve the proposal for Mantis item 2169 Second: Stu Passed unanimously 9. 2164 SV-EC Use "base class" instead of "parent class" in 8.12 - Fixed - Unanimously approved by SV-EC in December 10th conference call. Move: Stu - approve the proposal for Mantis item 2164 Second: Brad Passed unanimously 10. 2163 SV-BC Clarify hierarchical scopes created (or not) by for and foreach loops - Fixed - Unanimously approved via e-mail vote closed December 3, 2007 Dave - The word "loop" is missing in "...containing declarations of the (loop) variables..." It is correct in section 12.7.3. Shalom's last update was Nov 30. - first blue - declarations of the loop variables. see Dave's email Brad - updated the proposal in the meeting. Move: Brad - approve the proposal for Mantis item 2163 with the friendly amendment Second: Stu Passed unanimously 11. 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 FM - Mantis 2097 covered it. Dave - thinks 2097 was approved Move: Dave - approve the resolution for Mantis item 2152 Second: Stu Passed unanimously 12. 2149 SV-EC Covergroups sample method with arguments - Fixed - Unanimously approved by SV-EC in December 10th conference call. Move: Dave - approve the proposal for Mantis item 2149 Second: John Passed unanimously 13. 2113 SV-EC Inconsistency in constraining assoc array size - Fixed - Unanimously approved by SV-EC in November 12th conference call. Brad - queues are not arrays? Dave - that is correct, but they are unpacked. Move: Dave - approve the proposal for Mantis item 2113 Second: Stu Passed unanimously 14. 2106 SV-BC Clarifications needed for declaration before use of objects and type - Fixed - SV-BC approved the attached proposal on December 3, 2007 For: Francoise, Gord, Mike, Dave, Steven, Tom, Mark, Alex, Stu, Brad, Karen, Don Opposed: Shalom - wording unclear. Text is not ordered well. Abstain: Cliff - would like to review Shalom's objections. Brad - Shalom updated the proposal but it was not uploaded to Mantis (it was sent by email) Dave - would like to approve the existing proposal. Brad - prefers to leave it for the next Champion's meeting, Stu - agrees to wait Move: Stu - send Mantis 2106 back to svbc to see if it needs to be updated Second: Brad Passed unanimously 15. 2102 SV-BC Unnecessary difference between packed and unpacked objects - Fixed - The SV-BC approved the attached proposal on December 3, 2007. For: Francoise, Gord, Mike, Dave, Steven, Tom, Mark, Alex, Stu, Brad, Karen, Don Opposed: Shalom - would like time to address issues with proposal that he raised Cliff - weak opposition - prefers to give Shalom time to address his concerns Shalom - the latest proposal is now on Mantis Brad - Matt didn't add a Mantis note 2102 - proposal was updated again on 12/18 - which one to review? Move: Stu - Send Mantis 2102 back to svbc - make sure proposal is current Second: Brad Passed unanimously 16. 2033 SV-AC Explicitly mention generate blocks as sequence and property declaration scope - Fixed - Unanimously passed by voice vote 2007-11-27. Brad - can to may, one of these was deprecated? Stu - thinks that 'must' was dreprecated. Dave - may - permission can - ability to do something Move: Dave - approve the proposal for Mantis item 2033 Second: Brad Passed unanimously 17. 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 Move: Dave - approve the proposal for Mantis item 1957 Second: Stu Passed unanimously 18. 1898 SV-AC Describe the explicit mappings from assertion system tasks to callbacks - Fixed - 2007-11-20: e-mail ballot passed, 6y/0n/0a may - permissible (is permitted to) can - possibility and capability (text elsewhere gives the permission) Brad - we could get rid of all usages of can. Dave - there are several vpi callbacks. FM - should be in the vpi section Dave - the scheduling semantic section introduces some callbacks. John - motivation was to show the correspondence - correspondence between tasks and callbacks. - Bassam added these. Stu - need a cross ref in vpi registercb(), that is where people look for a list of callbacks. and possibly other (vpicontrol) Editor to fill in actual numeric values (Stu is ok with it) AI/Neil - set to feedback and assign to svcc. Move: Dave - send it to svcc for review, Second: Stu Passed unanimously 19. 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 AI/Neil - recategorize it as an enhancement (new semantics) Dave - was ok with it. Brad - you have to now accept new syntax. Dave - agrees with it. Stu - there was an earlier Mantis that might conflict in this area. Dave - in this form it doesn't refer to the default specification. - new semantics for existing syntax - no BNF changes needed. Move: Dave - approve the proposal for Mantis item 1857 Second: brad Passed unanimously 20. 1757 SV-AC Property resets: accepton(b) P, rejecton(b) P - Fixed - Unanimously passed by voice vote 12/04/07 - John noted a typo in the proposal (12/19/07) On p. 8, the very last satisfaction relation should be changed from w^{0,i-1},L_0 \top^\omega |= P to w^{0,i-1}\top^\omega, L_0 |= P Dave - this proposal is quite large. - it adds new keywords. FM - need to send it to svcc or add a new mantis item. Dave - the level of enhancements are large, not adequate time. - thinks it should be implemented and then donated. John - these operators are in the forspec language. - not sure how forspec handles sampling. It might be different from SystemVerilog. The abort part might be novel, as compared to forspec. Dave - forspec is from Intel - donated to accellera a long time ago. Stu - this particular one probably not an extreme addition, fairly small. - completely new to sva though. AI/Neil - set to feedback and assign to svcc. FM - Mantis items reviewed by other committees should have a note indicating that they have reviewed it. Move: Stu - send it to the svcc for approval. Second: Brad Passed unanimously 21. 1648 SV-AC Default reset for assertions - Fixed - Was sent back to the Technical Committee by the Champions July 26th - Voice vote approved the latest change on Dec 4th John - now using different syntax. Dave - disable iff also used for covergroups. - svec check covergroups usage as well AI/Neil - put in feedback and send to svec. (Not voted on by the Champions since the Working Group has already agreed to allow the svec to work on it) 22. 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. Stu - expects some users to not like this change Move: Stu - approve the proposal for Mantis item 1583 Second: Brad Passed unanimously 23. 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. Stu - thinks it is a fairly complex change FM - was Steven Sharp on vacation? Neil - found email from Steven (he abstained in the email vote) Below is the feedback from Steven. "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 - Dave's issue - "Is this in the scope of the par?" The working group needs to address this point. - It's a user enhancement request from a user who uses a lot of macros Move: Brad - approve the proposal for Mantis item 1571 Second: Stu Abstain: Francoise - thinks it wasn't discussed properly. There should have been more discussion. 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 24. 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. Stu - not sure it is a duplicate of 1668 John - part 1 of the proposal covers those points. Move: Brad - approve the resolution of duplicate for Mantis item 1533 Second: Francoise Passed unanimously 25. 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. Move: Brad - approve the proposal for Mantis item 1345 Second: Stu Passed unanimously 26. 1338 SV-BC clarify definition of `" character in macros - Fixed - The SV-BC unanimously approved the attached proposal on December 3, 2007. Move: Brad - approve the proposal for Mantis item 1338 Second: Stu Passed unanimously 27. 329 SV-BC Package imports in port lists - Fixed - The SV-BC unanimously approved the attached proposal on December 3, 2007. Move: Stu - approve the proposal for Mantis item 329 Second: Brad Passed unanimously Next Meeting: ------------- Nov 28th was the previous meeting Dec 20th today's meeting Jan 17th next meeting (moved from Jan 10) P1800 Jan 31st Feb 28, 2008 Mar 27, 2008Received on Sat Dec 22 19:22:03 2007
This archive was generated by hypermail 2.1.8 : Sat Dec 22 2007 - 19:22:08 PST