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. Item 19. 2506 and item 31. 3884 warrant additional consideration. The following have been approved by the Champions and the technical committees. This set of 18 is ready for Working Group approval (Dec. 1st). If there aren't any notes below the mantis description in this list, that means it was unanimously approved by both the Technical Committee and the Champions. 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 Had two abstains in the Champion's meeting. Shalom - didn't finish his review Stu - concerned about simulation performance 5. 3033 sv-ac Enhance checker modeling capabilities Had one abstain in the Champion's meeting Shalom - didn't finish his review 6. 2845 sv-ec virtual interface type checking versus interface type that had 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) 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 The following was opposed by the Champions in the Nov 30, 2011 conference call. 19. 2506 SV-EC Non-trivial coverage space shapes and joint conditions The SV-EC would like to have permission to meet on Dec 5th to address the Champion's feedback. This proposal represents a big effort put forth by the SV-EC for this PAR. A problem was found with the BNF at the last minute. The only reason the Champions opposed it was due to this BNF issue. Scott Little is currently working on a new version of the proposal. The following have were approved by the Working Group at the Nov 10, 2011 or the Oct 27, 2011 conference calls. No further action is required. 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 31. 2987 SV-EC - 3884 is related to it (now resolved) [soft constraints] Mantis 3884 was approved by the SV-CC on Nov 9th, the mantis item wasn't put into the resolved state until Nov 25th. The last Champion's agenda went out Nov 23rd. As a result it wasn't noticed until too late for it to be on the Champion's agenda. Neil Korpusik