I am showing 15 voters in that meeting (not including the chair). The vote was 13 yes, 2 abstain Meeting Days: ------------------------------------------------------------------------ (1220) Day (3074) (0000) Month (4445) (0000) Year (9999) ------ Attendees ------------------------------------------------------- (A-AA) Arturo Salz 3 (A-AA) Cliff Cummings 3 (AAAA) Dave Rich 3 (AAAA) Francoise Martinolle 3 (AAAA) Mehdi Mohtashemi 3 (AAAA) Neil Korpusik 3 (AAAA) Ray Ryan 3 (-AAA) Gordon Vreugdenhil 3 (AAAA) Steven Sharp 3 (A-AA) Stu Sutherland 3 (AAAA) Heath Chambers 3 (AAAA) Don Mills 3 (AAAA) Jonathan Bromley 3 (AAAA) Mark Hartoog 3 (AAAA) Tom Alsop 3 (A-A-) Mike Mintz 2 (AAAA) David Scott 3 Neil On 05/13/09 22:35, Brad Pierce wrote: > 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.Received on Thu May 14 07:45:05 2009
This archive was generated by hypermail 2.1.8 : Thu May 14 2009 - 07:45:09 PDT