RE: [sv-champions] JH e-mail ballot

Hi Brad:

I may have misinterpreted -- I thought the mantis comment meant that
there were 2 yes votes and 2 abstains.  It was mysterious how this could
represent a quorum vote. 

J.H.

-----Original Message-----
From: owner-sv-champions@eda.org [mailto:owner-sv-champions@eda.org] On
Behalf Of Brad Pierce
Sent: Thursday, May 14, 2009 12:36 AM
To: sv-champions@eda.org
Subject: RE: [sv-champions] JH e-mail ballot

Neil,

John writes

> 70. 2035     Yes ___ No ___ Abstain _X_
>     SV-ec id 181 approved on may 4 2009 with 2 abstains
>    JH:  I am not comfortable with the disagreement given the number of
voters.

How many voters were there?  Aside from the two abstains, Mantis only
says who moved and seconded, and doesn't say many how yes votes there
were.

-- Brad

________________________________________
From: owner-sv-champions@eda.org [owner-sv-champions@eda.org] On Behalf
Of John Havlicek [john.havlicek@freescale.com]
Sent: Wednesday, May 13, 2009 8:10 PM
To: neil.korpusik@Sun.COM
Cc: sv-champions@eda.org
Subject: [sv-champions] JH e-mail ballot

Hi Neil:

My e-mail ballot is below.

J.H.

The following set of Mantis items are currently in the resolved state:
I will send an updated list later today that has links for those that
like to click on a link for each item being voted on.

1.  2646     Yes _X_ No ___ Abstain ___
     SV-AC  Assumption in deferred assertion example should be made
explicit
2.  2657     Yes _X_ No ___ Abstain ___
     SV-AC  Clarify notion of sequence
3.  2648     Yes _X_ No ___ Abstain ___
     SV-AC  Need an example of cyclic dependencies between sequences
4.  2649     Yes _X_ No ___ Abstain ___
     SV-AC  sequence_actual_arg is used to represent the default
argument
5.  2655     Yes _X_ No ___ Abstain ___
     SV-AC  Backward compatibility issue with the clocking specification
6.  2644     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #153 Wrong function named in table 36.9
7.  2630     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #168 Wrong format type named in Table 38-5
8.  2653     Yes _X_ No ___ Abstain ___
     SV-AC  Sequence match not shown in timing diagram
9.  2612     Yes _X_ No ___ Abstain ___
     SV-AC  `true should have a backtick in a sequence example
10. 2660     Yes _X_ No ___ Abstain ___
     SV-AC  Add indices to expressions
11. 2478     Yes _X_ No ___ Abstain ___
     SV-AC  Clock flow subclause is not consistent with multiclocked
            property definition
12. 2661     Yes _X_ No ___ Abstain ___
     SV-AC  "Syntax 16-19" is in blue.
13. 2659     Yes _X_ No ___ Abstain ___
     SV-AC  Backward compatibility issue with sequence property
14. 2541     Yes _X_ No ___ Abstain ___
     SV-AC  syntax errors - missing parenthesis
15. 2516     Yes _X_ No ___ Abstain ___
     SV-AC  Another contradiction of existing text with 2398 needs to be
fixed
16. 2496     Yes _X_ No ___ Abstain ___
     SV-AC  non_port_program_item should contain assertion_item
17. 1775     Yes _X_ No ___ Abstain ___
     SV-CC  cbAtEndOfSimTime not in header files
18. 2576     Yes _X_ No ___ Abstain ___
     SV-CC  Failed to remove reference to Reader API when deprecating
Data
            Read API
19. 2621     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #155 vpiSize should return an error when
applied
            on a vpiFunction returning string
20. 2623     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #157 vpiArrayType is labelled bool, should be
int
21. 2626     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #162 In Table 38-3 in vpiScalarVal, vpi1 et
al
            should be in bold
22. 2631     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #172 The usage of the the term PLI is
confusing
23. 2637     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #146 Term PLI is confusing
24. 2628     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #164 In Arguments section, s_vpi_arrayvalue
            should be p_vpi_arrayvalue.
25. 2717     Yes _X_ No ___ Abstain ___
     SV-AC  Ballot comment #81 Clarification needed for the usage of
            severity tasks.
26. 2647     Yes _X_ No ___ Abstain ___
     SV-AC  Clarification about clock glitches in concurrent assertions
27. 2656     Yes _X_ No ___ Abstain ___
     SV-AC  Clarify difference of $global_clock handling in simulation
and
            formal verification
28. 2658     Yes _X_ No ___ Abstain ___
     SV-AC  Default values for untyped formals
29. 2654     Yes _X_ No ___ Abstain ___
     SV-AC  Error in an example of throughout operator
30. 2642     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot comment #151 Need a similar rule for disabled
            SystemVerilog functions in section 9.6.2
31. 2643     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot comment #152 Section implies that a SystemVerilog
            function cannot be disabled
32. 2680     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot comment #32: Writing to an array with an invalid
index
33. 2513     Yes _X_ No ___ Abstain ___
     SV-BC  BNF needs fixes to allow checkers in packages
34. 2542     Yes _X_ No ___ Abstain ___
     SV-BC  Config declaration BNF bug
35. 2550     Yes _X_ No ___ Abstain ___
     SV-BC  static variable initialization example has error
36. 2634     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot comment #20 Wording of paragraph implies evaluation
37. 2672     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot Comment #Macro expansion example incorrect in 22.5.1
38. 2683     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot comment #66: Example mislabelled "delay control"
instead
            of "event control"
39. 2695     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot comment #169: BNF error in
edge_sensitive_path_declaration
40. 2652     Yes _X_ No ___ Abstain ___
     SV-AC  Future value functions need clarification
41. 2562     Yes _X_ No ___ Abstain ___
     SV-AC  rand qualifier for checker variables is not reflected in BNF
42. 2650     Yes _X_ No ___ Abstain ___
     SV-AC  Ambiguity in a sequence repetition [*0] definition
43. 2670     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot Comment #130: Module header description is missing
the
            package import list in 23.2.1
44. 2675     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot Comment #103: Clarification of readmem warning
45. 2676     Yes _X_ No ___ Abstain ___
     SV-BC  Ballot comment #28: port connection warning
46. 1492     Yes _X_ No ___ Abstain ___
     SV-BC  Overriding default lifetime of subroutine formal arguments
47. 2625     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #161 There is a blue change bar at the bottom
                of the page.
48. 2622     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #156 Arrow missing in VPI Generate diagram
49. 2629     Yes _X_ No ___ Abstain ___
     SV-CC  Ballot comment #167 Function "vpi_get64" should be
            "vpi_get_long()"
50. 2627      Yes _X_ No ___ Abstain ___
     SV-CC   Ballot comment #163 In Tables 38-3 and 38-5, for decimal
            characters, "0-9" should be in bold, for consistency.


The following list have been resolved by the SV-ec, but the mantis items
have not yet been moved to the resolved state. They will be placed into
the resolved state today.

51. 2632     Yes _X_ No ___ Abstain ___
     SV-cc id 16 approved email May 1 2009
52. 2633     Yes _X_ No ___ Abstain ___
     SV-cc id 17 approved email May 1 2009
53. 2705     Yes _X_ No ___ Abstain ___
     SV-ec id 35 approved email May 1 2009
54. 2700     Yes ___ No _X_ Abstain ___
     SV-ec id 36,39,40 approved email May 1 2009
    JH:  The item is not in the resolved state.
55. 2682     Yes _X_ No ___ Abstain ___
     SV-ec id 42 approved email May 1 2009
56. 2430     Yes ___ No ___ Abstain _X_
     SV-ec id 43 approved email May 1 2009
    JH:  I could not understand the meaning of the coloring and markings
in
    the proposal.
57. 2701     Yes _X_ No ___ Abstain ___
     SV-ec id 44 approved, may 4 2009 meeting
58. 2430     Yes ___ No ___ Abstain _X_
     SV-ec id 45 approved email May 1 2009
    JH:  I could not understand the meaning of the coloring and markings
in
    the proposal.
59. 2706     Yes _X_ No ___ Abstain ___
     SV-ec id 46 approved email May 1 2009
60. 2713     Yes _X_ No ___ Abstain ___
     SV-ec id 47 approved, may 4 2009 meeting
61. 2719     Yes _X_ No ___ Abstain ___
     SV-ec id 58 approved email May 1 2009
62. 2358     Yes _X_ No ___ Abstain ___
     SV-ec id 67 approved, may 4 2009 meeting [ with spelling
correction]
63. 2596     Yes _X_ No ___ Abstain ___
     SV-ec id 80 approved email May 1 2009
64. 2710     Yes _X_ No ___ Abstain ___
     SV-ec id 106 approved email May 1 2009
65. 2711     Yes _X_ No ___ Abstain ___
     SV-ec id 107 approved may 4 2009, 6 Yes, 3Abstains, 3 No Votes
66. 2719     Yes _X_ No ___ Abstain ___
     SV-ec id 117 approved email May 1 2009
67. 2719     Yes _X_ No ___ Abstain ___
     SV-ec id 118 approved email May 1 2009
68. 2719     Yes _X_ No ___ Abstain ___
     SV-ec id 119 approved email May 1 2009
69. 2543     Yes _X_ No ___ Abstain ___
     SV-ec id approved in may 4 2009 meeting
70. 2035     Yes ___ No ___ Abstain _X_
     SV-ec id 181 approved on may 4 2009 with 2 abstains
    JH:  I am not comfortable with the disagreement given the number of
voters.
71. 2473     Yes _X_ No ___ Abstain ___
     SV-ec id 184 approved email May 1 2009 (no action taken)

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

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



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