Below is a summary of the list of mantis items that the Working Group allowed the technical committees to continue to work on in the Oct 27, 2011 conference call. The following have been approved by the Champions and the technical committees. This set of 2 is ready for Working Group approval (Dec. 8th). Both were unanimously approved by both the Technical Committee and the Champions. 19. 2506 SV-EC Non-trivial coverage space shapes and joint conditions 31. 3884 SV-CC VPI support for soft constraints The following proposal was unanimously approved by the Champions but there were two abstains in the SV-EC. At the Dec 1, 2011 Working Group meeting Chas requested time to review the proposal. 6. 2845 sv-ec virtual interface type checking versus interface type that The proposal restricts the usage of defparam. There were two abstains in the sv-ec Gord - concerned it might impact sv-bc work on interfaces Arturo - it is with regards to a deprecated feature(defparam) The following were approved by the Working Group during one of the following conference calls. No further action is required on any of these. Dec 1, 2011 Nov 10, 2011 Oct 27, 2011 1. 2987 sv-ec Soft Constraints 2. 2328 sv-ac Review and relax restrictions on data types in assertions 3. 3278 sv-ec virtual method type rules 4. 3213 sv-ac Update definition of sampled value 5. 3033 sv-ac Enhance checker modeling capabilities 7. 3564 sv-ac Sec 9.2.2.2.1 needs to clarify whether variables read in an 8. 2505 sv-ec class select: what is allowed after the dot? 9. 3608 sv-bc Resolution of dotted names needs to mention parameters and nets 10. 3113 sv-ac Add port_identifier to constant_primary BNF for sequences, 11. 3230 sv-bc task should be function in definition of static functions 12. 1356 SV-EC Multiple inheritance 13. 3069 SV-AC Relax rules for $global_clock resolution 14. 3295 SV-AC need a way to control only asserts/covers/assume directives 15. 3206 SV-AC Deferred assertions are sensitive to glitches 16. 3145 SV-AC Need to clearly define "maximal property" 17. 3022 SV-CC Annex I import/export reversals 18. 1231 SV-CC Wrong cross reference in DPI Clause 26.2.2 20. 3697 SV-BC Annex Q will have to be updated 21. 3772 SV-CC vpiParameter label is missing in first diagram in "37.2 22. 3192 SV-CC 37.8 section has wrong value definitions for vpiAccessType 23. 1352 SV-CC VPI 27.37 "Multiclock sequence expression" error 24. 1067 SV-BC out-of-range or x/z index to array of reals 25. 2093 SV-AC Checker construct should permit output arguments 26. 3028 SV-EC constraints for unique array elements. 27. 2476 SV-AC Need clarification about system functions $onehot, etc 28. 1653 SV-CC Cannot get to class defn from VPI class typespec 29. 1649 SV-CC Undefined possibly redundant VPI constraint object types The following is still in the feedback state. 30. 3423 SV-CC No way in VPI to trace instance-array connections across The SV-CC received permission to work on VPI changes required by the following mantis items from other committees. 3001 SV-EC 1356 SV-EC 3724 SV-DC Neil Korpusik