[sv-champions] Champions 7-day email vote

Francoise's votes :

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 ___ No ___ Abstain _x__ 
	    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


8.  2106    Yes ___ No _X__ Abstain ___  
	    SV-BC  Clarifications needed for declaration before use of
objects 
                   and type
friendly amendment:
The word instantiated for a data type is not proper. We should probably
replace
" This can then be instantiated as follows:"
"The named data type can then be used as follows"

Need clarification for the following sentence: Does this imply anything
on variables declared inside a fork block?

"The lifetime of a fork...join, fork...join_any, or fork...join_none
block shall encompass the execution of all processes spawned by the
block." 

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 ___ No __X_ Abstain ___ 
	    SV-AC  JEITA: A.2.10 There are no Sequence methods(ended, 
		   triggered, matched) in the BNF
what is the VPI model for those sequence methods? Needs to be passed to
VPI

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 _X__ No ___ Abstain ___ 
	    SV-EC  Contradictory stmts about unsized array dimensions 
                (5.1 vs. 5.7 and 5.8)

 
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.

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