FW: [sv-champions] Champions 7-day email vote

List of Mantis items for a Champion's email vote:
-------------------------------------------------
1.  2249    Yes _X__ No ___ Abstain ___
            SV-BC  11.4.3.1 merge issue on net and variable types

2.  2233    Yes _X__ No ___ Abstain ___
            SV-EC  Allowed types for randc

3.  2229    Yes _X__ No ___ Abstain ___
	    SV-EC  Clarify summary description for "inactive" random
variables.

4.  2183    Yes __x_ No ___ Abstain ___
            SV-EC  Only simple identifiers allowed in solve-before
constraint


5.  2168    Yes _x_ No ___ Abstain ___ 
	    SV-AC  Formal semantics for edge-sensitive clocks

6.  2150    Yes __X_ No ___ Abstain ___ 
	    SV-AC  use of automatic variables in action block and
subroutine 
		   calls should not be allowed

7.  2110    Yes ___ No ___ Abstain _X__ 
	    SV-AC  Allow checkers in procedural for loops

I think this should be postponed till approval of 1900.

8.  2106    Yes _x_ No ___ Abstain ___  
	    SV-BC  Clarifications needed for declaration before use of
objects 
                   and type

9.  2091    Yes __X_ No ___ Abstain ___  
	    SV-AC  Need a clarification where concurrent assertions may
appear

10. 1987    Yes __X_ No ___ Abstain ___  
	    SV-AC  "verification statement" should be italicized and
added to 
		   the glossary

11. 1932    Yes __X_ No ___ Abstain ___ 
	    SV-AC  Introduce LTL and other temporal operators

12. 1830    Yes _x__ No ___ Abstain ___ 
	    SV-AC  JEITA: A.2.10 There are no Sequence methods(ended, 
		   triggered, matched) in the BNF

13. 1827    Yes _X__ No ___ Abstain ___ 
	    SV-BC  JEITA: 20.3.1 Update the OS Reference

14. 1772    Yes _X__ No ___ Abstain ___ 
	    V-1364 inconsistent timecheck/timestamp condition
terminology

15. 1769    Yes _X__ No ___ Abstain ___ 

16. 1758    Yes _X__ No ___ Abstain ___ 
	    SV-AC  Boolean implication -> and equivalence <->

17. 1686    Yes __X_ No ___ Abstain ___ 
	    SV-AC  assertion evaluation does not wait on subroutines

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

I think there is a contradiction between the following two statements
that should be resolved:

In 7.4.2: "If an unpacked array has one or more dynamic, associative, or
queued dimensions, it is considered a variable-size array."

In 7.5: "integer mem[2][]; // Fixed-size unpacked array composed of 2
dynamic subarrays
of integers"
 
19. 1340    Yes _X__ No ___ Abstain ___ 
	    SV-BC  inconsistency between module ports and task arguments

20. 0675    Yes __X_ No ___ Abstain ___ 
	    SV-BC  Ballot Feedback Issue 203: Packed unions shall not be
                restricted to equal length items.

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


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