Attached is a list of the Mantis items that have been approved by both the technical committees and the Champions. Neil -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. P1800 Working Group, Below are the results of the Champions conference calls and email votes Oct 25, 2007 conference call (Stu not online) Nov 08, 2007 conference call (All Champions were on-line) We would like to get approval for those Mantis items that have been approved by both the Technical Committees and the Champions. All of 93 them are listed below. Neil ############################################## From Champions meeting of October 25, 2007 ############################################## List of Mantis items unanimously approved by both the TCs and the Champions --------------------------------------------------------------------------- (40 mantis items) 01. 1951 SV-BC "Null argument" to mean "omitted argument" may be confusing - August 20, 2007 the SV-BC unanimously voted to accept the proposal. - Unanimously approved by champions, by email vote (4y, 2 didn't vote) 02. 1217 SV-BC 2007-09-06 Missing commentary in Table 19-1 - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 03. 1963 SV-BC 2007-09-06 use of 'bit' (a keyword) as generate loop block name - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 04. 1958 SV-BC 2007-09-06 6.8.1: bad xref and mixup between nets and data types - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 05. 1955 SV-BC 2007-09-06 Follow-up to 1257: delete module path restriction that destination may have only one driver - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 06. 1941 SV-BC 2007-09-06 10.3.4 omits uwires - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 07. 1938 SV-BC 2007-09-06 6.5 error and duplication - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 08. 1665 SV-BC 2007-09-06 sections on aggregate literals and assignment patterns overlap duplicate - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 09. 1485 SV-BC 2007-09-06 1.6 minor errors - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 10. 1061 SV-BC 2007-09-06 6.5: port connections of signed nets no change - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 11. 0910 SV-BC 2007-09-06 Syntax 3-1 should excerpt all literal-related nonterminals - September 6, 2007 meeting, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 12. 0979 SV-BC 2007-08-24 difference in local_parameter_declaration between 1364 and 1800 - August 20, 2007 the SV-BC unanimously voted to accept - Champions unanimously approved in Oct 25 conference call 13. 0917 SV-BC 2007-08-23 Assigning same value to two enum names (4.10) - August 20, 2007 the SV-BC unanimously voted to accept - Champions unanimously approved in Oct 25 conference call 14. 0916 SV-BC 2007-08-23 "Significant digits" and enumerations -- 4.10 - August 20, 2007 the SV-BC unanimously voted to accept - Champions unanimously approved in Oct 25 conference call 15. 0354 SV-BC 2007-08-23 Add command line switch to control keyword compatibility of input won't fix - August 20, 2007 the SV-BC unanimously voted to accept - Champions unanimously approved in Oct 25 conference call 16. 1209 SV-BC 2007-08-07 arrays of parameters - clarify - July 23rd, 2007 SV-BC conference call, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 17. 1090 SV-BC 2007-08-07 add `undefineall functionality - July 23rd, 2007 SV-BC conference call, the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 18. 1696 SV-CC 2007-09-20 What is vpiRange for a dynamic array, assoc. array, queue? - PASSED by SV-CC on 09/12/2007 (unanimous) - Champions unanimously approved in Oct 25 conference call 19. 1865 SV-CC 2007-09-17 Inconsistent field definitions for s_vpi_vecval in svdpi.h and vpi_user.h - PASSED by SV-CC on 09/12/2007 (unanimous) - Champions unanimously approved in Oct 25 conference call 20. 1947 SV-CC 2007-09-12 vpiTask, vpiFunction for built-in method calls - PASSED by SV-CC on 08/22/2007 (unanimous) - Champions unanimously approved in Oct 25 conference call 21. 1970 SV-CC 2007-09-12 What is vpiIndexTypespec for an array with a wildcard index type? - PASSED by SV-CC on 08/29/2007 (unanimous) - Champions unanimously approved in Oct 25 conference call 22. 1726 SV-CC 2007-09-12 Clarify meaning of vpiConstantSelect - PASSED by SV-CC on 08/29/2007 (unanimous) - Champions unanimously approved in Oct 25 conference call 23. 1946 SV-CC 2007-09-12 Clarify vpiSize for string vars and other SystemVerilog variable types - PASSED by SV-CC on 08/29/2007 (unanimous) - Champions unanimously approved in Oct 25 conference call 24. 1980 SV-EC 2007-10-01 make dynamic_array new consistent as new operator - Approved by SV-EC on September 17 2007 unanimously - Champions unanimously approved in Oct 25 conference call 25. 1623 SV-EC 2007-09-06 alternate timeunit syntax - Approved by SV-EC on July 23 2007 unanimously - Champions unanimously approved in Oct 25 conference call 26. 1119 V-1364 2007-08-07 19.3: Preprocessor macros within strings - July 9, 2007 the SV-BC unanimously approved - Champions unanimously approved in Oct 25 conference call 27. 1025 V-1364 2007-09-06 13.1.1: library_cell is defined but not used no change required - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 28. 1693 V-1364 2007-09-06 $sformat, $swrite syntax - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 29. 1285 V-1364 2007-09-06 2005/D6, 15.3.3: $fullskew bugs no change required - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 30. 1203 V-1364 2007-09-06 Add standard way to define functional coverage points no change required - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 31. 1155 V-1364 2007-09-06 x-pessimism for if statements no change required - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 32. 1141 V-1364 2007-09-06 Add "bidirectional skew" timing check no change required - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 33. 1140 V-1364 2007-09-06 SDF should support $timeskew and $fullskew - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 34. 1118 V-1364 2007-09-06 15.5.1-15.5.4: neg timing checks only? - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 35. 1031 V-1364 2007-09-06 Move 17.9.3 to Annex no change required - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 36. 0995 V-1364 2007-09-06 17.2.4.3, 17.2.5: returning EOF - unanimously approved by the SV-BC during the Sep 6, 2007 meeting - Champions unanimously approved in Oct 25 conference call 37. 0983 V-1364 2007-08-24 add lists for equality operators no change required - unanimously approved by the SV-BC during the August 20, 2007 meeting - Champions unanimously approved in Oct 25 conference call 38. 0661 V-1364 2007-08-07 consistent error/warning duplicate - unanimously approved by the SV-BC during the July 23rd, 2007 meeting - Champions unanimously approved in Oct 25 conference call 39. 1193 V-1364 2006-11-23 Extend index to cover 1364-2005 enhancements won't fix - unanimously approved by the SV-BC during the October 23, 2007 meeting - Champions unanimously approved in Oct 25 conference call 40. 1192 V-1364 2006-11-23 extend index to complete 1364-2001 won't fix - unanimously approved by the SV-BC during the October 23, 2007 meeting - Champions unanimously approved in Oct 25 conference call List of Mantis items approved by the TC, but not unanimously ------------------------------------------------------------ (2 mantis items) 41. 0331 SV-BC 2007-08-08 Update $display and other file I/O system tasks for aggregate data types - Approved with one abstention by SV-BC on August 6, 2007 (Shalom didn't have time to review it in detail) - Champions unanimously approved in Oct 25 conference call 42. 1556 SV-EC 2007-10-02 in-line static variable initialization - require keyword static? - Approved by SV-EC June/11/2007 unanimously - Champions sent it back to the svec - backward compatibility concern - issue with the examples - Approved by SV-EC Sept/17/2007 with 3 no votes Arturo - this is inconsistent with the rest of the language - doesn't see a need for adding this requirement. Mehdi, Mark - not a serious enough issue to create a backward compatibility problem - This requirement was in 3.0, but got removed by svec - Champions unanimously approved in Oct 25 conference call List of Mantis items unanimously approved by the TC but some Champions abstained -------------------------------------------------------------------------------- (2 mantis items) 43. 1681 SV-AC 2007-10-03 Introduce global clocking - SVAC unanimously approved by voice vote on 2007-09-25, 8y/0n/0a - Champions approved 4yes, 2abstain in Oct 25 conference call Francoise - thinks it should be a tool option Dave - same reason 44. 1707 SV-EC 2007-10-01 streaming operator should specify which direction slices are taken from - Approved at sv-ec meeting August 6 2007, unanimously - Champions approved 4yes, 2abstain in Oct 25 conference call John - not able to spend enough time on it Shalom - didn't review in detail ############################################## From Champions meeting of November 8, 2007 ############################################## List of Mantis items unanimously approved by both the TCs and the Champions --------------------------------------------------------------------------- (7 mantis items) 45. 1383 SV-AC Property coverage definition duplicate - Approved by SV-AC email vote, September 24 9y/0n/1a - Champions unanimously approved in Nov 8 conference call 46. 1751 SV-CC Clarify vpiParent for part selects - Unanimously approved by SV-CC in September 12 conference call - Champions unanimously approved in Nov 8 conference call 47. 1745 SV-BC "outside of" and "inside of" are bad style - Approved unanimously by SV-BC on August 6, 2007 - Champions unanimously approved in Nov 8 conference call 48. 1462 SV-BC 19.5, A.1.2: timeunits_declaration formatting confusing duplicate - July 9, 2007 the SV-BC unanimously approved - Champions unanimously approved in Nov 8 conference call 49. 2090 SV-AC Concurrent assertion instantiation - inconsistent wording - 2007-10-20: SV-AC Passed by e-mail vote, 9y/0n/1a. - Champions unanimously approved in Nov 8 conference call 50. 1942 SV-CC Deprecated vpiArray property still appears in several places where vpiArrayMember should replace it. - SV-CC PASSED this on 09/12/2007 (unanimous) - Champions unanimously approved in Nov 8 conference call 51. 1367 SV-CC Section 27.11 Ports - the port and port bit objects should be bold - SV-CC PASSED this on 09/12/2007 (unanimous) - Champions unanimously approved in Nov 8 conference call List of Mantis items approved by the TC, but not unanimously ------------------------------------------------------------ (3 mantis items) 52. 1645 SV-BC behavior of keywords directives at end of compilation unit - October 29, 2007 the SV-BC approved, with 3 no votes Cliff, Heath, Stu believe the original restriction is good and that `begin directives should be paired to avoid the potential case where multiple files are compiled in the same compilation unit and somebody forgot to turn off the keywords somewhere in the middle of the list of files. To silently tun off the keywords by reaching an EOF is a bad idea (in Cliff's opinion). An error for a missing `end_keywords directive can be quite useful. - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 53. 1489 SV-BC 19.4: "top-level instance" vs. "top-level module" - October 29, 2007 the SV-BC approved, with 1 abstain Francoise prefers a more complete description - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 54. 907 SV-BC Default parameter assignment should be optional - October 15, 2007 the SV-BC approved, with 1 abstain Shalom feels the proposal uses awkward wording and he would like to emphasize that an uninstantiated module is not an error. - Champions approved in Nov 8 conference call, with 1 abstain (Stu) List of Mantis items unanimously approved by the TC but some Champions abstained -------------------------------------------------------------------------------- (37 mantis items) <approved as a group, Stu didn't have a chance to review them> 55. 1750 SV-BC %p printing should also work with non-aggregates (based on mantis 331) - October 29, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 56. 2092 SV-BC Clarify that wires may be fixed-sized unpacked arrays - October 29, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 57. 2029 SV-BC BNF does not allow 'string' as casting_type - October 29, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 58. 2024 SV-BC Table 25-18 column headings - unanimously approved by SV-BC via e-mail vote closed October 14,2007 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 59. 2006 SV-BC Clarify empty argument characteristics duplicate - unanimously approved by SV-BC via e-mail vote closed October 29,2007 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 60. 1993 SV-BC 29.4.4.4: bad specify block ifnone example - unanimously approved by SV-BC via e-mail vote closed October 29,2007 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 61. 1989 SV-BC Consistent use of string terminology - September 17, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 62. 1988 SV-BC 13.4.2: contradiction - October 1, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 63. 1949 SV-BC 19.6.1 $typename example error? - Unanimously approved by SV-BC via e-mail vote closed on September 30 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 64. 1940 SV-BC 6.8: Inaccurate text - Unanimously approved by SV-BC via e-mail vote that closed October 14 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 65. 1937 SV-BC Title of 22.2.2.3 misleading - September 17, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 66. 1846 SV-BC D3 21.13: add 1800-2008 to `begin_keywords - October 1, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 67. 1792 SV-BC Aggregate array not defined - Unanimously approved by SV-BC via e-mail vote that closed October 14 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 68. 1767 SV-BC Missing 's' in BNF example of 1.4 - Unanimously approved by SV-BC via e-mail vote that closed Sept 16 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 69. 1610 SV-BC Scoping of unnamed sequential blocks - SV-BC unanimously approved via e-mail vote that closed October 29 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 70. 1588 SV-BC Add predefined macros for file and line number - October 15, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 71. 1554 SV-BC Array query functions as constant primaries (22.6) - Unanimously approved by SV-BC via e-mail vote that closed Sept 16 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 72. 1487 SV-BC wild/wildcard inconsistency - SV-BC unanimously approved via e-mail vote that closed October 29 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 73. 1473 SV-BC Is 4.2step legal? - September 17, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 74. 1468 SV-BC always_latch has same restrictions as always_comb (11.3) - October 15, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 75. 1464 SV-BC 19.7 (22.5 in D4): misleading (and illegal) example - Unanimously approved by SV-BC via e-mail vote that closed October 14 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 76. 1417 SV-BC 1.2 mentions queues twice no change required - Unanimously approved by SV-BC via e-mail vote that closed Sept 16 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 77. 1354 SV-BC endxxx : identifier description missing from text - September 17, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 78. 1348 SV-BC 10.8,9 (9.3.4-5 in D3a) don't say that statement labels create named blocks - October 15, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 79. 1294 SV-BC 10.4: conditional_statement syntax (BNF) - Unanimously approved by SV-BC via e-mail vote that closed October 14 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 80. 1265 SV-BC 8.13.1: unclear sentence - what is "more arrays" ? - SV-BC unanimously approved via e-mail vote that closed October 29 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 81. 1228 SV-BC 8.11 does not define expansion of longest static prefix - Unanimously approved by SV-BC via e-mail vote that closed Sept 30 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 82. 1035 SV-BC Syntax 8-1 and Table 8-1 misclassifications - October 1, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 83. 933 SV-BC Width casting - unanimously approved by SV-BC via e-mail vote that closed Sept 16 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 84. 909 SV-BC All footnotes in Syntax boxes should be hyperlinks no change required - SV-BC unanimously approved via e-mail vote that closed October 29 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 85. 699 SV-BC Overloading -- based on equivalence or matching? - Unanimously approved by SV-BC via e-mail vote that closed Sept 30 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 86. 1710 V-1364 15.3.5: $period error - Unanimously approved by SV-BC via e-mail vote that closed Sept 30 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 87. 1450 V-1364 3.8: attribute syntax clarification no change required - October 1, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 88. 1425 V-1364 Type/size propagation does not stop at parens (5.5.2, V-2005) - Unanimously approved by SV-BC on October 1 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 89. 1302 V-1364 Selects use self-determined evaluation - Unanimously approved by SV-BC via e-mail vote that closed Sept 16 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 90. 1175 V-1364 Add field widths to print formats - September 17, 2007 the SV-BC unanimously approved - Champions approved in Nov 8 conference call, with 1 abstain (Stu) 91. 1134 V-1364 Add localparam to ANSI-type param list - Unanimously approved by SV-BC via e-mail vote that closed October 14 - Champions approved in Nov 8 conference call, with 1 abstain (Stu) ####################################################################### From Champions email votes - were approved with friendly amendments ####################################################################### 92. 1280 SV-BC Wrong replication example at end of 3.8 - Unanimously approved by SV-BC e-mail vote that concluded on July 9 - Champions email vote ending on Sept 17 (4y/2a) Passed with friendly amendments - November 12, 2007 the SV-BC unanimously approved the updates 93. 1444 SV-BC size warnings in assignment patterns should be allowed - July 23rd, 2007 SV-BC conference call, the SV-BC unanimously approved - Champions email vote ending on Sept 17 (4y/2a) Passed with friendly amendments - November 12, 2007 the SV-BC unanimously approvedReceived on Wed Nov 14 15:48:02 2007
This archive was generated by hypermail 2.1.8 : Wed Nov 14 2007 - 15:48:07 PST