[sv-champions] 8.5 day email vote - please review

From: Neil Korpusik <Neil.Korpusik_at_.....>
Date: Sat Jan 26 2008 - 17:54:36 PST
SystemVerilog Champions,

I am calling for an email vote on the following Mantis items.
The email vote will run for 8.5 days, ending on February 4 at 8AM PST.

Please mark each Mantis item with your vote.
If you vote no, you must provide a reason.
I would like you to also provide a reason if you decide to abstain.

Neil

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


List of Mantis items for a Champion's email vote:
-------------------------------------------------
1.  2227    Yes ___ No ___ Abstain ___
            SV-EC  Incorrect comparison of $random and $urandom

2.  2181    Yes ___ No ___ Abstain ___ 
	    SV-EC  Ambiguity in implicit declaration of production variables in 
 	    randsequence

3 . 1447    Yes ___ No ___ Abstain ___ 
	    SV-EC  Contradictory stmts about unsized array dimensions 
            (5.1 vs. 5.7 and 5.8)

4 . 0958    Yes ___ No ___ Abstain ___ 
	    SV-EC  dynamic array size method unclear when empty

5 . 1858    Yes ___ No ___ Abstain ___ 
            SV-EC  Name binding in inline constraints

6 . 0520    Yes ___ No ___ Abstain ___ 
            SV-EC  examples of queues assignments are not legal array 
            assignments

7 . 2003    Yes ___ No ___ Abstain ___ 
            SV-EC  Old statement on foreach for wildcard indexed 
            associative arrays

8.  2221    Yes ___ No ___ Abstain ___ 
	    SV-BC  "unpacked array reference" is ambiguous

9.  2193    Yes ___ No ___ Abstain ___  
	    SV-CC  Need to clarify vpiValid flag

10. 2190    Yes ___ No ___ Abstain ___ 
	    SV-CC  Standard does not say what should happen when putting value 
            with delay to a dynamic object

11. 2086    Yes ___ No ___ Abstain ___ 
	    SV-CC  Deprecated vpiArray still used with vpi_register_cb() 
            description

12. 2063    Yes ___ No ___ Abstain ___ 
	    SV-CC  Three minor typos in sections 36.15, 36.21 and 36.25

13. 2016    Yes ___ No ___ Abstain ___ 
	    SV-CC  vpiClassType should apply to class typespec rather than to 
            class defn

14. 2009    Yes ___ No ___ Abstain ___ 
	    SV-CC  HDL example shown in detail 3 section 36.14 (Reference 
            objects) has errors.

15. 1995    Yes ___ No ___ Abstain ___ 
	    SV-AC  Allow concurrent assertions and checkers in for loops

16. 1952    Yes ___ No ___ Abstain ___ 
	    SV-CC  "Null argument" to mean "omitted argument" may be confusing

17. 1846    Yes ___ No ___ Abstain ___ 
	    SV-BC  D3 21.13: add 1800-2008 to `begin_keywords

18. 1826    Yes ___ No ___ Abstain ___ 
	    SV-BC  JEITA: Annex B Add keyword list by LRM version

19. 1741    Yes ___ No ___ Abstain ___ 
	    SV-CC  1800-2005 Section 27.50 Issues with foreach diagram

20. 1729    Yes ___ No ___ Abstain ___ 
	    SV-AC  Introduce immediate assume and cover statements

21. 1728    Yes ___ No ___ Abstain ___ 
	    SV-AC  Introduce "let"statement

22. 1711    Yes ___ No ___ Abstain ___ 
	    SV-BC  Rules for unique case evaluation

23. 1668    Yes ___ No ___ Abstain ___ 
	    SV-AC  Local variable initializers.

24. 1667    Yes ___ No ___ Abstain ___ 
	    SV-AC  Local variable arguments for sequences and properties.

25. 1549    Yes ___ No ___ Abstain ___ 
	    SV-AC  add missing formal argument types

26. 1456    Yes ___ No ___ Abstain ___ 
	    SV-CC  Clarify, circumscribe restrictions on use of DPI context 
            utilities

27. 0748    Yes ___ No ___ Abstain ___ 
	    SV-CC  vpiParent of var select can only be array var

28. 1900    Yes ___ No ___ Abstain ___ 
	    SV-AC  Add new 'checker' construct to SVA
 
Received on Sat Jan 26 17:55:05 2008

This archive was generated by hypermail 2.1.8 : Sat Jan 26 2008 - 17:55:08 PST