The proposal was approved by the Champions in the email vote which ended on October 2nd, 2011. 1. 2081 SV-BC Not clear enough which kinds of statements are prohibited in 2. 3015 SV-AC Examples of $fatal have bad arguments 3. 3326 SV-BC LRM in BNF allows parameters declaration under generate, while 4. 2289 SV-BC 6.20.1 should say that generate block and compilation unit-scope The Resolution of "no change required" was approved by the Champions in the email vote which ended on October 2nd, 2011. 5. 2547 SV-AC local variable read before write The Resolution of being a duplicate was unanimously approved by the Champions in the email vote which ended on October 2nd, 2011. 6. 3202 SV-AC Clarify on whether certain system functions are allowed in The Resolution of "no change required" was unanimously approved by the Champions in the email vote which ended on October 17, 2011. 7. 1091 SV-EC Jeda verification enhancements The proposal was unanimously approved by the Champions in the email vote which ended on October 17, 2011. 8. 1523 SV-BC How is ?: defined for non-integral data types? The Champions are requesting feedback in the email vote which ended on June 11, 2011. The objection has since been retracted. 9. 2905 SV-EC BNF bug for attribute instance along with timeunits_declaration The proposal was opposed by the Champions in the email vote which ended October 17, 2011. The objection has since been retracted. 10. 3724 SV-DC Allow generic interconnect for "typeless" connections The proposal was approved by the Champions with friendly amendments in the email vote which ended September 20, 2011. The friendly amendments have now been made and approved. 11. 3398 SV-DC User defined nets and resolution functions The Resolution of being a duplicate was approved by the Champions in the email vote which ended on September 20, 2011 with friendly amendments. The friendly amendments have now been made. 12. 3034 SV-AC Allow continuous and blocking assignments in checkers 13. 2743 SV-AC Allow subroutine_call_statement in a checker The proposal was approved with friendly amendments by the Champions in the email vote which ended August 5, 2011. The friendly amendments have now been made. 14. 2900 SV-EC Associative array should consider the context of an lvalue to The proposal was unanimously approved by the Champions in the email vote which ended on September 20, 2011. 15. 1504 SV-BC introduce parameterized structures 16. 3233 SV-BC implicit wire declarations should occur in instantiations of 17. 2578 SV-AC Vacuity definition 18. 1251 SV-BC 9.7.6 does not explicitly say what happens if "wait" condition The Resolution of being a duplicate was unanimously approved by the Champions in the email vote which ended on September 20, 2011. 19. 2897 SV-AC Allow $display in checkers 20. 2809 SV-AC Checker instantiation in checkers' always procedure The proposal was approved with friendly amendments by the Champions in the email vote which ended August 5, 2011. The friendly amendments have now been made. 21. 2112 SV-EC Remove restrictions on NBA assignments to class members The proposal was approved with friendly amendments by the Champions in the email vote which ended August 5, 2011. The friendly amemdments have now been made. 22. 2794 SV-EC Clarify queue methods return status The proposal was approved with friendly amendments by the Champions in the email vote which ended August 5, 2011. The friendly amendments have now been made. 23. 3385 SV-AC Possible ambiguity when deferred assertion action block calls The proposal was opposed by the Champions in the email vote which ended June 11, 2011. The objections have since been retracted. 24. 2889 SV-BC .named_port(expression) in ANSI-style port declaration list The proposal was approved by the Champions with friendly amendments in the email vote which ended June 11, 2011. 25. 0696 SV-BC Ballot Feedback Issue 225: Add parameterized tasks and functions The proposal was approved by the Champions with friendly amendments in the email vote which ended on April 8, 2011. 26. 3135 SV-AC Verbal explanation of nexttime and always is misleading for The proposal was approved by the Champions with friendly amendments in the email vote which ended October 17, 2011. 27. 3001 SV-EC Proper Polymorphic behavior of instantiation <--------------> The proposal was opposed by the Champions in the email vote which ended October 17, 2011. 28. 3046 SV-EC Dotted names within inlined constraints Approved in sv-ec meeting 8/15/2011:proposal 3046_inline_dotted_names_rev3.pdf 1 No vote, 0 abstain. No vote: Mark, opposing it, it does not address all ambiguities, leaves too much existing ambiguity in the language. Opposed: Brad According to Mark's vote, the fix is not ambitious enough. Take the time and do it right. What are the ambiguities related to this Mantis item that are not resolved by the proposal? The proposal was opposed by the Champions in the email vote which ended July 1, 2011. 29. 3293: Clarify $cast behaviour on class handles Brad - was in agreement with Shalom's comments, as well as the 2 following additional comments. - "ancestor" is not defined anywhere in the LRM. The proposal says "a class type higher in the inheritance tree (a superclass or ancestor of the expression type)". So I guess it's not the same as a superclass. Can an ancestor handle be $cast to a variable of a subtype of which it is not a superclass? (BTW diamond inheritance has not been added yet, but soon there may not be an inheritance tree?) - I don't consider this proposal to be compliant in format with our long-standing policy, which has served us well over the years. This style of proposal, without strikeouts and from/tos is very hard to read, because I need to print out the original section and the proposal and compare sentence by sentence to see what's new text, what the changes are. Shalom - No technical objections, but: (he listed a bunch of Editorial issues)