SV-EC committee meeting. Monday April 26 2010 11:00am - 1:00pm PDT [ http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_May_10_2010_Minutes.txt ] Meeting number: ------------------------------------------------------------------------- 000 000 321 Meeting Days: ------------------------------------------------------------------------ (121) Day (062) (000) Month (544) (111) Year (000) ------ Attendees -------------------------------------------------------- 1. (AAA) Arturo Salz 3 2. (AAA) Dave Rich 3 3. (AAA) Francoise Martinolle 3 4. (AAA) Mehdi Mohtashemi 3 5. (AAA) Neil Korpusik 3 6. (AAA) Ray Ryan 3 7. (AAA) Gordon Vreugdenhil 3 8. (AAA) Steven Sharp 3 9. (AAA) Heath Chambers 3 10. (-AA) Don Mills 3 11. (AAA) Mark Hartoog 3 12. (AAA) Tom Alsop 3 13. (AAA) Jonathan Bromley 3 14. (AAA) Neil S 3 Marvel 15. (A--) Cliff Cummings 1 Sunburst Design 16. (--A) JL Gray 1 Verilab 17. (AAA) Alex Gran 3 Mentor 18. (--A) Daniel Schostak 1 ARM 19. (--A) Kevin Johnston 1 Verilab 20. (A--) John Halvicek 1 Freescale 21. (A--) Scott Little 1 Freescale 22. (-AA) Tracy McDermott 2 Sunburst Design ** Minutes taken by Neil Korpusik and Mehdi Mohtashemi ////////////////// May 10 2010 ///////////////////////// 1. Review IEEE patent policy ------------------------------------------------------ http://standards.ieee.org/board/pat/pat-slideset.ppt The chair reviewed the patent policy. Dave, Heath - move to assume that the patent policy was read. Passed unanimously 2. Approval of previous meeting minutes: ------------------------------------------------------ April 12 2010 meeting minutes http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_April_26_2010_Minutes.txt [NOT available yet, will review next time] 3. List of top 25 issues and categories: ------------------------------------------------------ We are requested to create a list by May 13 2010 (by the Working Group). The spreadsheet is on google doc, You can view the spreadsheet here: https://spreadsheets.google.com/ccc?key=tLbzCTXi7KL3iNZjb_kXIfA&hl=en Mehdi- I sent out and requested members to vote similar to sv-bc voting structure to reduce confusion, voting for the your top 25 items: with highest priority item to get 1 and the Lowest priority item to get 25 so that in this way you are voting on only 25 items. Neil S. did the modification just before the meeting today. I just sent out the spreadsheet to the reflector Dave - the svbc used weitghted average. Jonathan - some were important but tiny. Neil - I did the same thing. Gord - request from svbc to WG. What does the top 25 really mean. Dave - svbc is giving feedback on what they expect the feedback to be. Mehdi - Gord - weight of 58 or higher - that gives the top 25 - It was fairly clear which items were the top 10 or so. Tom - target the top 10 as the first priority (svbc) The top 25 are: 1. 2848 Virtual Interface and class med Is it legal to assign an interface containing class declaration to a virtual interface Dave says it is already legal and not changes are required. Jonathan - is 1706 similar? 2. 3002 class High Aspect Oriented Programming (AOP) features Gord - same as no-mantis 4 3. 3046 class Low Dotted names within inlined constraints 4. 2997 class High Multiple Inheritance Dave, Tom - close 2997 as a duplicate of 1356. Move 1356 up to this slot. Move the text of 2997 into the body of 1356. Passed unanimously Gord - we are just voting on what we will spend time on. The technical details of how it is implemented will be discussed. John H. - he was the only one that voted on both. 5. 3001 class low Proper Polymorphic behavior of instantiation // New Polymorphic Construction Example BasePacket packets[100]; packets[0] = new EtherPacket; // extends BasePacket 6. 2999 class med Class Handle reference inside of Constraints solve class1 before class2; 7. 3003 Randomization constraints High Constraint Composition inheritance for constraints 8. No Mantis10 Ambiguity resolution (see slide 10 for examples of parts of the Standard that have been interpreted differently by different simulators) Arturo - a catch-all for a lot of items. Mehdi - we need to create a mantis item for it. Jonathan - thinks there will be more than one mantis item Dave - there are 7 items mentioned for this item (create a master item) AI/Jonathan - create mantis items. 9. 2845 high virtual interface type checking versus interface type that had been defparam'ed more details needed on data type equiv for virtual interfaces. Francoise - she filed it. 10. 2956 Process control low clarify class 'process' definition (9.7 vs 18.13.3, 18.13.4, 18.13.5) he wants more details on this. Dave - thinks it is an editorial issue 11. 2505 class low class select: what is allowed after the dot? Sounds like it should be clarified, should be trivial. 12. 2735 class med Ballot Comment #48: Chaining of method calls Cliff - this one is a new feature 13. 1706 Virtual Interfaces Meaning of static prefix for virtual interface assignments 14. 2488 VI OO classes VI OO classes med Are virtual method calls legal within class constructors? Arturo - this one is controversial, it was discussed before. Gord - there were differences of opinion on this one. 15. 2112 class assignment med Remove restrictions on NBA assigments to class members 16. 3028 Randomization constraints Med constraints for unique array elements. Users often ask for constraint for unique(array) which would put unique values in each array element (if possible). It could even be like randc, with the values calculated before the main solver starts to process, sort of a randc array feature 17. 1356 class Multiple inheritance 18. 2950 class low virtual method prototype matching Arturo - a clarification 19. 2794 Built-in Methods queues low Clarify queue methods return status Arturo - a clarification 20. 2993 Functional Coverage med Cross cover points across different cover groups Arturo - an enhancement (duplicate of no mantis 2) Mehdi - he will combine them in the spreadsheet 21. 1442 clocking block Clocking blocks legal in modports, missing from text description in 20.9 Arturo - it is a clarification, there will most likely be discussion 22. 2953 Functional Coverage high Algorithmic generation of covergroup bin contents Make use of generates for bin specifications Arturo - enhancement 23. 1349 Process control fork join fork/join_none: what if parent thread terminates without blocking statement? Steven - a clarification 24. 2949 clocking block low LRM is silent about the semantics of referencing a clocking block output if (cb.p == 1) ... The above expression need to made illegal, or the semantic of that value needs to be defined. Sounds like it should be fixed... Arturo - a clarification 25. 2451 class med Omitting body defaults Extern method bodies. 26. No Mantis 5 - Steven - related, but not duplicates Tom - 2991 is in the top 10 for sbbc Tom, Cliff - remove "no Mantis 5" from the svec list (was dropped) Passed unanimously 27. 2987 Randomization constraints med Soft Constraints Tom - enhancement Jonathan - 2988 is similar, we should merge 2987 and 2998 Jonathan, Tom - merge 2988 and 2987 28. 3006 class low LRM doesn't say explicitly what should happen if null pointer is randomized Steven - clarification 29. 3004 class med Ability to declare/qualify classes/methods/variables/constraints final Ability to declare/qualify classes/methods/variables/constraints final Gord - enhancement 30. 2998 Randomization constraints low Solve Before enhanced Tom - enhancement 31. 2117 Functional Coverage high Allow extending of covergroups in classes Cliff - no mantis 7 should have been combined with it Mehdi - will hightlight it as a duplicate. 32. No Mantis 6 Gord - an enhancement Tom - 2992 - is a duplicate? (Cliff agreed) 33. 2928 Randomization constraints low ambiguous restriction on function calls in constraint expressions a simple clarification to one sentence. 34. 2787 class med reference via scope operator to parametrized superclass item BaseClass::a should be legal Arturo - a clarification Gord - there are implications of it, expecially with AOP 35. 2972 duplicate with 2996 36. 2996 class High Method overloading function overloading Jonathan - doesn't expect this one to be easy. 37. 2988 Randomization constraints med Defaults Constraints 38. No mantis 4 Cliff - 3002 39. 2506 Fucntional Coverage high Non-trivial coverage space Discusses the concept of using an expression to specify coverage spaces. John H. - 2506 is broader than 2953. Gord - it would be fair to say for 2953 to go with the solution in 2506. - the discussion of the issue is what needs to happen and the tc can decide on the appropriate solution. - the are both solving the same issue, but in different ways. - the two mantis items are currently linked to one another 40. 1714 - Data Types Mailbox, class singular types for mailboxes Arturo - clarification or possibly an enhancement 41. 2984 - Virtual Interface High Virtual ports enhancement Jonathan - No mantis 14 is similar Comments from the svec to the Working Group. Expectation Dave - these are the top 25 to work on - anything other than simple clarifications for errata will require approval from the Working Group. "simple errata" - he is assuming that the TC's will be kept more focused this time. Tom - did we track how many clarifications in the top 25? Mehdi - if the group as a whole feel there are some trivial items, they could also be worked on. Arturo - we shouldn' need permission for clarifying things. Dave - trivial enhanements is what concerns him. Dave - thinks that the top 5 items will keep us busy for one year! Arturo - he agreed. Gord - AOP and Multiple Inheritance will both require huge amounts of discussion. Will go beyond svec (ie svbc). There will be issues concerning composition. Arturo - for this, we are actually doing some design, not adopting existing technology. Gord - we have some unique things in SystemVerilog that are not in other languages. Users want it, but they may not be aware of how nasty this will be. Artuto - we might be able to narrow the feature to make it more easily adopted John H. - sounds more like what the svac was doing. We could draw upon the literature, and the leaders provided a vision on how to phase the feature introduction. Gord - there are alreay some very difficult issues that have not yet been addressed. Adding this on top of that will add stress to the process. Ray - does this mean there will be a need for f2f meetings? Mehdi - once the scope is determined, we will most likely need a f2f. 4. Next meetings April and May 2010 ----------------------------------------------------- Monday May 24 2010 11:00-1:00pm [tentative] FOR References: -------------------- ============ from May 10 2010 meeting =================== AI/Jonathan - create mantis items for No-Mantis-10. Completed action items: ============ from April 26 2010 meeting =================== AI/Mehdi - add a column for enhancement versus clarification AI/Mehdi - add a column for amount of work required. AI/Mehdi - add sheets for the various categores in the Google doc. AI/Mehdi - send out a link to the p1800 spreadsheet. AI/Mehdi - add a column for duplicates AI/All - send input on the list of categories. AI/ALL - until May 5th to provide any inputs on the spreadsheet. ============ from April 12 2010 meeting =================== AI/Mehdi - Look at the Google Docs and creaet spreadsheet for collaborative efforts. Also add cross committee column to the spreadsheet. AI/All - send inputs on any new items by April 24 2010, this is deadline for any item that is not already in the mantis database. AI/All - prioritize and categorize list of items that are in the spreadsheet to be reviewed during the next two sv-ec meetings. AI/Neil - email to cliff on proxy rights