SV-EC Committee meeting Monday October 24, 2011 [ http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_October_24_2011_Minutes.txt ] Meeting number: 75% = 21 out of 28 meetings attended --------------- 22222222221111111111000000000 8765432109876543210987654321 Meeting Days: ------------- (2212101202021211102021213101) Day (4629518063951844762851730629) (1000000000000000011111000000) Month (0998887665544332121100998887) (1111111111111111111111111111) Year (1111111111111111100000000000) ------ Attendees ---------------------------- Members: 1. (AAAAAAAAAAAAAAAAAAAAAAAAAAAA) Arturo Salz 28 - y Synopsys 2. (A-AAAAAAAAA-AAAAAAAAAAAAA-AA) Dave Rich 25 - y Mentor 3. (AA-AAAAA-AAAAAAAAAAAA--AAAAA) Francoise Martinolle 24 - y Cadence 4. (AAAAAAAAAAAA-AAAAAAAAAAAAAAA) Mehdi Mohtashemi 27 - y Synopsys 5. (AAAAA-AAAAAAA-AAAAAAAAAAAAAA) Neil Korpusik 26 - y Oracle 6. (AAAAAAAAAAAAAAAA-AAAAAAAAAAA) Ray Ryan 27 - y Mentor 7. (AA-AAAAAA-AAAAAAAAAAA-AAAAAA) Gordon Vreugdenhil 25 - y Mentor 8. (AAAAAAAAAAAAAAAAAA-AAAAAAAAA) Steven Sharp 27 - y Cadence 9. (AAAAAAAAAAAAAAAAAAAAAAAAAAAA) Mark Hartoog 28 - y Synopsys 10. (AAAAAA-A-AAA-AA-AAAAAAAAAA-A) Tom Alsop 22 - y Intel 11. (AA-AAA-A-AAAAAAA-AA--AAAA--A) Neil S 20 - y Marvel 12. (AAAAA-AAAAAAAA-A-AAAAAA-A--A) Alex Gran 22 - y Mentor 13. (AAAAA-AAAAA----AAAA-A-------) Brandon Tipp 15 - y Intel 14. (AA-AAAAA-AAAAAAAAAA---------) Scott Little 17 - y Freescale 15. (-----------------------AAAAA) Swapnajit Chakraborti 5 Cadence 16. (------------A---------------) Dennis Brophy 1 Mentor 17. (---AAA-AAAA--AAAA---A-AAAAAA) Daniel Schostak 18 - ARM 18. (----------AA----------------) Mike Burns 2 - Oracle 19. (-----------------A----------) John Havlicek 1 Freescale 20. (A-AAAAA--AA-----------------) Stu Sutherland 8 - y Editor 21. (A-AA-AAAAA-----AA-AAAAAAAAAA) Jonathan Bromley 20 - y Accellera 22. (AAAAA-----------------------) Dhiraj Goswami 5 - y Synopsys 23. (AA-A------------------------) Dhruba Kalita 3 - Intel 24. (---A------------------------) Hassan Shehab 1 - Intel 25. (-A--------------------------) Hillel Miller 1 - Frescale 26. (A---------------------------) Jasvinder Singh 1 - Synopsys Observers: 1. (AAA------A-AA-A-AAAA--------) Tony Tsai 11 - Cisco 2. (---------A-AA-A-A-----------) Mark Strickland 5 - Cisco 3. (AAA-------------------------) Anatoli Sokhatski 3 - Cisco Former participants: 1. (--------------A-AAA---A--AA) Heath Chambers 7 2. (--------------AA--AA----AAA) Don Mills 7 3. (--------------A-----A-AAAAA) Cliff Cummings 7 Sunburst 4. (--------------AA-AA-AAAA---) Linc Jepson 8 5. (----------------A----------) Dave Gates 1 AMD 18 people will have voting rights in the next meeting http://standards.ieee.org/develop/corpchan/mbrs1.html // IEEE-SA members ** Minutes taken by Neil Korpusik and Mehdi Mohtashemi ////////////////// October 24 2011 ///////////////////////// Agenda 0. Approval of Agenda ------------------------------------------------------ Additions/modifications to the agenda by members. Move: Jonathan to approve the agenda Second: Gordon Abstain: Opposed: Unanimoulsy approved. 1. Review IEEE patent policy ------------------------------------------------------ http://standards.ieee.org/board/pat/pat-slideset.ppt The chair brought everyone's attention to the patent policy. Move: Gordon to consider it read Second: Steven Abstain: Opposed: Unanimoulsy approved 2. Approval of previous meeting minutes: ------------------------------------------------------ http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_August_29_2011_Minutes.txt Move: Gordon to consider August29 approved Second: Mark Abstain: Opposed: Unanimoulsy approved http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_September_12_2011_Minutes.txt Move: Jonathan to approve 9/12/2011 Second: Neil Abstain: Francoise, Gordon [were not present] Opposed: Unanimoulsy approved http://www.eda.org/sv-ec/Minutes/SV-EC_Meeting_September_26_2011_Minutes.txt Move: Gordon to approve september 26 2011 Second: Mark Abstain: Jonathan [was not present] Opposed: Unanimoulsy approved 3. Updates from P1800 WG --------------------------------------------------------- Next meeting is this Thursday 10/27/2011 4a. Review and discussion issues from Champions: ------------------------------------------------------ [From Neil's email] The following was approved by the Champions with friendly amendments 3001 SV-EC Proper Polymorphic behavior of instantiation (10/17/11) Jonathan: updated the proposal. AI/ Neil: will review it and send it along to the Working Group. The following were Opposed by the Champions 1356 SV-EC Multiple inheritance (10/17/11) Brandon: Shalom had a comment on 11.4.11, last comment is referring to how you resolve types and operators. In order to satisfy Shalom. Gord - all the feedback appears to be purely editorial. Neil - Shalom requested additional time to complete his review. Brandon - an updated version was sent to Shalom. Shalom is currently busy with the new Champions email vote. Brandon - 11.4.11 needs to be updated Gord - doesn't think this should be updated. - There was general agreement that this doesn't need to be updated. Francoise- Brandon should explain the reasoning to Shalom. Steven - we could possibly do something in that area in the future. Mehdi - a note on this could be added to the mantis item. Gord - would like to see the results after the final set of editorial changes. If all just editorial we most likely don't need to do anything. Brandon - Francoise mentioned there would be an sv-cc change required. Neil - the WG may decide that we don't need to wait for Shalom to review. 3278 SV-EC virtual method type rules (07/01/11) Gord: the feedback is purely editorial, AI: Francoise: revise and upload the changes. 3046 SV-EC Dotted names within inlined constraints (10/17/11) Gord: Mark opposed it, because of ambiguities. Brad opposed it on those grounds. - It would take too much work to remove all ambiguity. Dave - adding an example should be part of another mantis item. Gord - this proposal is an improvement to the current LRM. Francoise- Agrees this proposal is an improvement over the existing LRM. - Believes that the examples would improve user readability. - The examples are currently in the mantis notes. Steven - could we just add those? Gord - concerned about the explanatory text that would also be required. Mark - was trying to remember why he voted no. The word "downwards" was his concern Gord - it would take a lot of work to address hierarchical resolutions. - It would take a big rewrite of a lot of text to address it. - Gord is unwilling to tackle it at this point in time. Mark - "downward" is well defined for hierarchy, not defined for resolution inside classes (e.g. nested classes, base classes). Gord - We all seem to agree on the required behavior, but we are having a problem deciding on the exact text. Steven - agrees that we can look in the base class Gord - that is because the base class is directly visible. Steven - but not upward "hierarchical" resolution. Gord - a class in a generate scope would also make it not visible. Agrees that 23.8 doesn't make "downward" crystal clear. AI/Mehdi - create a new mantis item for the examples that Francoise requested. AI/Neil - take to WG - see if want to vote it or first have a Champions meeting 2987 SV-EC Soft Constraints (10/17/11) Neil: Brad feels that those abstain would need more time. Francoise- Noted a couple of problems. (thinks those were fixed already) Arturo - uploaded a new proposal (during this meeting) which addresses Shalom's comments. Scott, Neil K, Neil S, -- haven't had time (prefer an email vote) Steven -- depends on his internal reviewers feedback. -- would switch to abstain if just didn't have time. Mehdi - We have addressed Stu's, Francoise's, Shalom's concerns. Steven - we could get locked into a particular approach if approve now. Still somewhat concerned about not having more time for review. Arturo - we don't have alternate proposals. Brandon - not fully polished from a user standpoint. - Doesn't see the current proposal doing any harm. Jonathan - has an issue with disable soft. - soft x=y; // Steven - x=y a=b // compound constraints. a=b could remain if disable on y. Brandon - only on a particular variable Arturo - constraints are bidirectionally applied. It was always this way. Ray - the bidirectionality of constraints is not specific to soft Jonathan - would like to see it be more specific in this regard. - "constraints on the random variable" // current text "constraints that reference the random variable" // better Ray, Arturo - ok with that change. Arturo - uploaded a v7, with that change AI/Mehdi: run a email vote (with that one small change) (ending on Tuesday Nov 1 2011 8am) Move: Arturo to approve version 7 [in response champions concerns] Second: Jonathan In Favor: Arturo, Dave, Francoise, Ray, Gord, Mark, Alex, Brandon, Stu, Jonathan Dhiraj, Dhruba Abstain: Neil, Steven, Neil s., scott, Opposed: NONE approved 12 in favor, 4 abstain This vote no longer has any objections. We are running the email vote to allow others to have more time for review. 2506 SV-EC Non-trivial coverage space shapes and joint (09/20/11) Neil - version 11 wasn't approved by the committee. - it is now up to version 13. Scott - Got up to version 13 by going back and forth with Shalom. Scott - there was one wording issue that Steven mentioned. Steven - there are nuances when a cast is involved. Differences between before and after the cast. AI/ Mehdi - place version 14 for an email vote (assuming only one concern at this point). 3293 SV-EC Clarify $cast behaviour on class handles (07/01/11) Gord - item 4. in Shalom's list should be addressed Just change cast function to cast. Neil - Brad's first comment Gord - some of that was explained in the Multiple Inheritance proposal. - not inclined to make changes based on this. Francoise- in favor of getting rid of the word 'ancestor' Gord - objects to just saying superclass, it could be misunderstood. Arturo - agrees, superclass usually refers to just the immediately higher class. "(a superclass or ancestor of the expression type)." // current text AI/Arturo - will make some updates. Mehdi - no re-vote necessary 2905 SV-EC BNF bug for attribute instance along with (06/11/11) Dave - This looks more like an sv-bc issue. Steven - is there a vpi mechanism to access it? That is the only access allowed for an attribute. Francoise- vpi has not quite kept up with SV changes. Francoise withdrew her objection 2505 SV-EC class select: what is allowed after the dot? (02/07/11) Neil S - needed to update this. Gord - the first example is illegal by the existing proposal. The second example is legal, by other things in the LRM already. It is just a type at this point. - we could enumerate a lot of examples, but we don't need to. - Doesn't think it is necessary to add more examples. - existing text already says v.T is legal. Francoise- is fine with this example Gord - we don't need to take any action. These examples are already clear based on text in the proposal or additional text in the LRM. AI/ Neil s. - will update based on Shalom's editorial feedback. AI/ Mehdi - email vote for 2 items. 2506 2987 Miscellaneous 3028 SV-EC constraints for unique array elements. (10/30/11) Approved with a note - possibly open a new mantis for it. Jonathan: one new mantis item. It is ok with that. Jonathan - uploaded a new proposal. 0251 SV-EC multiple user defined bins for cross (09/29/10) Objection to how the mantis is being closed. More of a procedural issue than anything else. The following were left open from the last PAR: These could probably be left "as-is". 2735 SV-EC Ballot Comment #48: Chaining of method calls 2737 SV-EC Ballot Comment #54: restricting access of local paramters inside 2694 SV-EC Ballot comment #140: virtual interfaces in interfaces 4b. Any other mantis item/issue for discussion ---------------------------------------------------- 5. Next meetings 2011 ----------------------------------------------------- Monday November 7 2011 Regular biweekly Monday November 21 2011 Regular biweekly FOR References: --------------------------------------------------------------------- =========== from September 12 2011 meeting =================== AI: 2900 Dave will try to update it (beginning of next week) AI: put up for email vote: 1091, 2900 Mehdi =========== from August 29 2011 meeting =================== =========== from August 15 2011 meeting =================== AI: 3531 Mark to finalize the modified proposal. AI: 2848 Mehdi to ask the p1800WG to look into this how to resolve and discuss. AI: 2905,3394 Mehdi to ask members to review/discuss by email. =========== from August 1 2011 meeting =================== AI: 256 Scott to send an email to sv-ec and poll Brad and Shalom for their comments. =========== from July 18 2011 meeting =================== =========== from June 20 2011 meeting =================== AI: Mehdi, find out from Stu a compiled list of items in draft =========== from June 6 2011 meeting =================== AI: 1356 Brandon: to upload the modified document AI: 3531 Mark : create the modified proposal. - create an sv-ec mantis item for editorial issues =========== from May 23 2011 meeting =================== AI: Mehdi - create an sv-ec mantis item for editorial issues [already done: mantis 3589 ] AI: 1356 Tom to put an example for virtual class extending an IC, virtual classes extending IC is same as extending another virtual class. =========== from May 9 2011 meeting =================== AI: (3278) Francoise to update the 3278 proposal AI: (3293) Arturo - update the proposal in preparation for an email vote. =========== from April 25 2011 meeting =================== AI: 2506 Scott and Mike to update the restrictions (straw poll) =========== from April 11 2011 meeting =================== AI: 3181 unanimously approved AI: 3297 unanimously approved. AI: 2985 unanimously approve: CLOSE as duplicate of 245 AI: 245 CLOSE 245 as already implemented vote: yes Abstain: Gord: The summary says array of queues - not sure that what exists is as general as what was requested. Persistence of elements is a key point with this. AI: 3254 Dave:change the coloring, also no underlining, and add mantis item to the top of the proposal. AI: 2952 unanimously approved AI: 3405 Mehdi The proposal needs be deleted, [Close as duplicate of 2952] AI: 3230 Mehdi contact the svbc - the svec wants to take ownership of 3230 AI: 3230 Gord will update 3230 and scrub related text for any additional changes that might be required. AI: 2900 Dave to update the proposal. =========== from March 28 2011 meeting =================== AI: 2506 Scott to get more input from the user community (Freescale). All, Please respond when information hits the reflector. All, Please consult with the users to get their feedback. =========== from March 14 2011 meeting =================== AI: 2506 All - Scott to send out clarification email to the alias. =========== from February 14 2011 meeting =================== AI: 2506 All - discuss this proposal over email. =========== from January 17 2011 meeting =================== AI: 2848 Mehdi - hold this off for the next 3 or 4 sessions. AI: 1356 Tom/Team state the differences between extensions and inheritance. ============ from December 6 2010 meeting =================== AI: 2845 Francoise - update the proposal with these changes. AI: 2848 Francoise - update the proposal with these changes. AI: 1356 Tom - update the proposal with some of the issues being raised. AI: 1356 all - review the new proposal before the next meeting. ============ from November 22 2010 meeting =================== AI: 2848, 2845; Franocoise update the proposals. AI: 2505; Neil S., update the proposal. AI: 2506; put the proposal into the required format AI: everyone to review and be ready to discuss during next time. ============ from November 8 2010 meeting =================== AI: Minutes; Mehdi - will check for consistency between the left and right sides for the attendance. AI: for 1356 Multiple Inheritance (interface classes) Mehdi - will make a request to the WG on this. General statement about being allowed to work on mantis items that are affected. AI: Jonathan - NULL within $cast AI: Gord - the OVM people would like to have that. Covariant and Contravarianct type extensions. you allow method that do not allow exact type signature of over-written method, but can return the objects of the type of original return type, impact of that would be on Interface classes. AI: Gord - Overwriting of virtual method section AI: Tom - update the proposal (to number 4) ============ from October 25 2010 meeting =================== AI: 1356 Tom - update the proposal, make corrections and more normative text. All - provide more detailed feedback to Tom. ============ from October 11 2010 meeting =================== AI: related to 2505 All - should we allow enum constants to be accessed by the dot? AI: 2953 Mehdi - make 2953 a child of 2506 Mehdi - make a request in this week's P1800 meeting to work on 2506 AI: 2080, 1672, 802 Neil - update the mantis items (3 of them) AI: 251 Mehdi, leave mantis 251 open AI: 2794 Mehdi, reopen mantis item for feedback Jonathan: update AI: 2949 Jonathan: send email to Brad to get clarification on his feedback. ============ from September 27 2010 meeting =================== AI: 3003 Tom - will get feedback on specific examples. (see 18.7 for information on the with-clause) AI: 3003 Jonathan - will get an email discussion going. ============ from September 13 2010 meeting =================== AI: Coverage item Swapnajit - will provide a note for clarification, to be added to Mantis 1802 AI: Coverage item Swapnajit - will put together a proposal for this issue. [related to 19.5.3 wildcard specification] AI: 2848 Francoise - Will do a write-up for this proposal. AI: 2845 Francoise - will try to write-up for this. ============ from August 30 2010 meeting =================== AI:2956 Mehdi making a note to the editor for adding cross reference. AI: 2794 Jonathan will make the friendly amendment. AI:3028 Jonathan create a proposal and upload it for more discussion and vote next meeting. ============ from August 16 2010 meeting =================== AI: 3028 Jonathan - write up the parallel proposals. AI: 2794 Jonathan - add text for the case where indices are x, z AI: 1442 Steven - check if Shalom's comments make this issue moot. AI: 1349 Steven: create the proposal for 1349 AI: 2451 Steven put a proposal together. AI: 2993 Tom; will check internally to see if these meet their needs AI: 2993 Mehdi; upload the email as a note to the mantis item AI: 2993 Arturo; will donate their implementation. ============ from Aguust 2 2010 meeting =================== AI: 1706 Steven put together an email for bc to provide feedback on 4 options Mehdi can send to sv-bc AI: 2993 Swapnajit: add a note to the mantis item as to where we currently are in the process. AI: 2953 Ray - take a look at this one ============ from July 19 2010 meeting =================== AI:Tom get confirmation from users about exact intent of the original request for 3001 AI: Francoise will add a note to the mantis item 2848 AI: Gord will write up a proposal for 3046 AI: Ray will add a bugnote 2999 ============ from June 21 2010 meeting =================== AI/Mehdi - For number 30 on the list, 'no-mantis item 6' send email to Matt about linking this request to mantis 2991. AI/ALL - assigned leaders/champions to start looking at the top 25 items on the list and plan for proposals/discussions/reviews. ============ from June 7 2010 meeting =================== AI/Tom - some examples would be useful [mantis 2987, soft constraints] AI/Cliff - what is actually required. [mantis 2117] Allow extending of covergroups in classes AI/Cliff, John H. - more details on this request, item number 30 [no mantis 6: allow re-use of enumerated names (slide 31) AI/All - find mantis items that can be closed, or easily resolved. - any of the 0.5h estimate items could be considered as well. ============ from May 24 2010 meeting =================== AI/Tom and others: mantis 3002 AOP: any more clarifications from users perspective. AI/users: mantis 1356: Multiple inheritance:what are the particular requests? clarifications. AI/Tom - Mantis 3003, we need more clarification from user base ============ 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 right --------------------------------------------- Summary table: Assigned Lead/Champions --------------------------------------------- 1 2848 Francoise 2 3002 Tom, Dave, Jonathan, Francoise, Arturo, Neil S., Cliff, Gord 3 3046 Gord, Franocise, Mark, Ray 4 1356 Tom [same with 3002] 5 3001 Jonathan, Tom, Francoise 6 2999 Tom, Ray, Arturo, 7 3003 [2987, 2988] Jonathan, Tom, Ray, Arturo, 8 3082 Daniel, Jonathan, 9 2845 Francoise, Mark, Alex Neil S., Gord? 10 2956 Steven, 11 2505 Neil S., Mark, Francoise 12 2735 Arturo, Steven, Gord, 13 1706 Mark, Steven, Francoise, 14 2488 Steven, Francoise, 15 2112 Dave, Steven, 16 3028 Arturo, Ray, Neil S., Mehdi, 17 2950 Francoise, 18 2794 Jonathan, Steven 19 2993 Tom, Ray, Swapnajit (cadence) 20 1442 Steven, 21 2953 Ray 22 1349 Steven 23 2949 Jonathan, Steven 24 2451 Steven, 25 2987 Jonathan (combining 2987, 2988, see 3003) ------------------------------------- [next 10] 26 3006 Ray, Steven, 27 3004 Tom 28 2998 Tom 29 2117 Cliff?? 30 No Mantis 6 could be linked with 2991 with sv-bc 31 2928 Ray, Arturo, 32 2787 ?? (Daniel)?? 33 2972 ?? (Daniel)?? 34 2996 Tom, 35 2988 already assigned (see 3003) 36 No Mantis 4 related to AOP (already covered) -------------------------------------------------------------- == List with estimates ======= hrs top 2t mantis Id 4 1 2848 12 2 3002 1 3 3046 16 4 1356 2 5 3001 3 6 2999 5 7 3003 8 8 3082 4 9 2845 0.5 10 2956 3 11 2505 4 12 2735 1 13 1706 2 14 2488 2 15 2112 2 16 3028 2 17 2950 1 18 2794 4 19 2993 0.5 20 1442 6 21 2953 0.5 22 1349 0.5 23 2949 4 24 2451 4 25 2987 92 total 46 (2hr sessions) 0.5 26 3006 4 27 3004 2 28 2998 4 29 2117 4 30 No Mantis 6 0.5 31 2928 4 32 2787 2 33 2972 2 34 2996 0 35 2988 0 36 No Mantis 4 23 total 11 sessions ====================================== top 25 Id Number of Votes weighted vote Summary Degrees of difficulty Cateogory Sub-Category 1 2848 7 159 Is it legal to assign an interface containing class declaration to a virtual interface med Virtual Interface and class 2 3002 8 125 Aspect Oriented Programming (AOP) features High class constraints 3 3046 8 112 Dotted names within inlined constraints Low class Strings/Arrays 4 1356 6 112 Multiple Inheritance High class Strings 5 3001 9 102 Proper Polymorphic behavior of instantiation low class Arrays 6 2999 7 99 Class Handle reference inside of Constraints med class constraints 7 3003 6 98 Constraint Composition High Randomization Strings 8 3082 7 96 (4) Ambiguity resolution (see slide 10 for examples of parts of the Standard that have been interpreted differently by different simulators) 9 2845 4 84 virtual interface type checking versus interface type that had been defparam'ed high Virtual Interface Misc / function proto 10 2956 4 76 clarify class 'process' definition (9.7 vs 18.13.3, 18.13.4, 18.13.5) low Process control 11 2505 4 76 class select: what is allowed after the dot? low class 12 2735 4 73 Ballot Comment #48: Chaining of method calls med class constraints 13 1706 4 72 Meaning of static prefix for virtual interface assignments Virtual Interfaces 14 2488 4 69 Are virtual method calls legal within class constructors? med VI OO classes 15 2112 6 69 Remove restrictions on NBA assigments to class members med class constraints 16 3028 6 68 constraints for unique array elements. Med Randomization 17 2950 4 67 virtual method prototype matching low class 18 2794 4 64 Clarify queue methods return status low class 19 2993 4 63 Cross cover points across different cover groups med Built-in Methods 20 1442 3 63 Clocking blocks legal in modports, missing from text description in 20.9 Functional Coverage 21 2953 6 61 Algorithmic generation of covergroup bin contents high clocking block 22 1349 5 61 fork/join_none: what if parent thread terminates without blocking statement? Functional Coverage 23 2949 4 60 LRM is silent about the semantics of referencing a clocking block output low Process control constraints 24 2451 6 58 Omitting body defaults med clocking block constraints 25 2987 6 56 Soft Constraints med class Misc / function proto 26 3006 5 55 LRM doesn't say explicitly what should happen if null pointer is randomized low class Data Types 27 3004 5 55 Ability to declare/qualify classes/methods/variables/constraints final med class Virtual Interface 28 2998 4 55 Solve Before enhanced low Randomization class 29 2117 3 52 Allow extending of covergroups in classes high Functional Coverage class 30 No Mantis 6 5 51 (3) Allow reuse of enumerated names (slide 31) cross-committee Randomization 31 2928 3 50 ambiguous restriction on function calls in constraint expressions low Randomization Randomization 32 2787 3 50 reference via scope operator to parametrized superclass item med class Randomization 33 2972 3 49 add class constructor/method, task/function overloading High class Randomization 34 2996 4 49 Method overloading High class Randomization 35 2988 2 48 Defaults Constraints med Randomization Process control 36 No Mantis 4 2 47 (1) AOP when-inheritance (slide 31) Class/AOP Functional Coverage