Minutes from the Errata Task Force Conference Call December 16, 2002 Attendees: 111110000 \ 221109998 / Month 101022002 \ 628413996 / Day aaaaaa*aa Steven Sharp aaaa-a*aa Karen Pieper aa--a-$aa Cliff Cummings aaaaaa=-a Shalom Bresticker aaaaaa*aa Stefen Boyd aaaaaa*aa Dennis Marsa aa-aaa$aa James Markevitch aaaaa-=-a Gordon Vreugdenhil -aaaaa$aa Anders Nordstrom --aaa-$a- Ted Elkind aaaa-a*a- Brad Pierce aaaaaa*a- Charles Dawson -a-aa-$a- Mike McNamara aaa---*aa Stu Sutherland ------*a- Tom Fitzpatrick ------*aa Elliot Mednick Anyone who shows up can vote. (* is folks who were able to stay around after the VSG meeting for 9/9. $ was people here before the VSG meeting started on 9/9. = is someone missing for 9/9) Previous minutes: Review of minutes from 12/02/02 meeting. Shalom moves that we accept the minutes. Gord seconds. No opposed. No abstain. Passes. We all agreed to the following rules for governing discussions: Limiting discussion to 5 minutes for simple issues, and 15 for discussion issues. Issues with proposals will be addressed first. Karen proposed that once something is voted on, it stays the way it is. New issues must be filed to address problem in previously passed items. For: Karen, Dennis, Stefen, and James. Against: Cliff, Gord. Passes. The database web site has been expanded so that each of us can update the class, analysis, and fix field (proposal) for each issue. Please use these editing items for adding proposals so that the web-pages are updated appropriately. Action Item updates: (Pre 11/4/02) Cliff still to analyze issue 9 and 13. 9 is not done. Truncation rules not defined. Experiments in progress. Padding rules not clearly defined. Issue with signed unsigned in context of x and z. Rhs size calculations are made in the calculation of the right hand side. Assignment is to same width objects. 13. Proposal sent out. Cliff will update the database page with the proposal. (Pre 11/4/02) Issue 28, new proposal from Cliff pending. (11/4/02) Steven will proposing a wording to fix 172. Testing done. Proposal not made. (11/18/02) Everyone review issues 20, 12, 53, 59, 89 for the next meeting. (11/18/02) Gord and committee to return with a generate proposal for 113, 17. Waiting for feedback on the original writeup. No feedback made. (11/18/02) Dennis and committee to return with a power operator proposal for 140 Lots of discussion. One proposal made and under consideration. (11/18/02) Steven and committee to return with an @* proposal for issues 22, 82, 84 To be resolved after power and generate. (11/18/02) Evaluating TBD Errata. The tasks are: 1: Classify difficulty: easy/hard 2: Identify Sections/table number/figure number affected 3: Modify subject to make the issue clearer 4: (optionally) provide link to relevant URL archive on boyd.com 5: Make a proposal using the proposal addition web pages. The assignments are: Steven 89 Errata: Multiple Attribute Instances in BNF 96 Errata ambiguity in 4.1.12 on the >>> operator 109 Errata 10.3.5: redundancy 114 port style parameter declarations 115 9.8: "block statement" definition (fwd) 116 19, para. 1: Grave accent 117 19.1,19.6,19.9: `unconnected_drive and `celldefine Lots of hard ones. Karen 118 12.3.4: Bad syntax in example 119 2.6.3, Table 1: Octal escape sequences 121 Syntax 12-7 122 19.4, example 2, last two $display lines 123 Fwd: identifier and indexing syntax 124 17.2.4.3: Second sentence for %m should be in own paragraph 126 "nonblocking" spelling Done Shalom 127 9.7.5 - 4th paragraph - pp.140-141 128 10.3.5 Example: ram_model 129 unordered lists 130 17.10.2: Examples - reg declaration syntax error 131 Page iii - 2nd paragraph after "INTRODUCTION" 132 Table numbering 133 Table 12 Precedence rules for operators Actions 1-4 are done. Proposal not done. Dennis 137 Fwd: IEEE Std 1364-2001, 19.2 and Annex B -- 'none' keyword 138 IEEE Std 1364-2001, Syntax 19-2 -- formal_argument_identifier 141 19.7: `line number 148 Annex B: 'unsigned' is not really a keyword 149 2.7.4: System tasks and functions 153 Section 12.3.3, A.2.1.2, ouput_declaration is ambiguous 154 A.1.5, attribute ambiguity in non_port_module_items 1-4 are done. Proposal not done. Gord 155 A.1.3, module_declaration ambiguous 159 footnote numbering in syntax boxes 165 13.11.1, A.2.1.1 -- reuse task_port_type 166 2001b, 1.4: "Clause 2" missing clause title 169 one more printing problem 170 formatting of bnf non-terminals 172 3.5 Implicit Declarations - moved from #125B 1-4 are done. Proposal either there, or obvious. Anders 173 misc typos 174 3.2.1, A.2.2.3 -- delay_value ambiguous 175 13.2: file_path_spec syntax and related issues 176 12.1.3.2, Example 5: wrong generate name 177 12.1.3.4, Example 8 (again): ba instead of ba[0] 178 9.4.1, A.6.6 -- if_else_if_statement and function_if_else_statement are redundant 1-4 are done. Brad 179 12.3.3 Port declarations 180 14.3.2: "s ' x" 181 4.3, 9.3 -- 12 productions better expressed with 3 182 Syntax 9-8: event_control 184 23.4: "the an" should be "the" 189 12.1, macromodule needs clarification 1-4 are done. Proposals are filed. (12/2/02) Shalom to propose new wording for 174. (12/2/02) Stefen to create an all items in the db page. Done. (12/2/02) Stefen to update errata seen above. We will used the analyzed category to indicate that an issue has a proposal. Done. (12/16/02) Shalom will file issues for remaining SV issues. 19-37 ?? 19-45 none yet? 19-47 none yet? 19-58 ?? 19-61 ?? (12/16/02) Steven to file an issue on 64-bit chi-square. (12/16/02) Shalom will update the proposal for issue 20 with his fix. We will discuss it next time. (12/16/02) Shalom to propose for 89. (12/16/02) Brad to file a new issue for nested attributes. (12/16/02) Stefen to mark 178 to not-a-bug. 6, 16, 35 to analyzed. 126 as VSG passed. (12/16/02) Karen to make a new proposal for 119. Issues to address for this meeting: Issue 20: (9:04) 4 different proposals, 2 types. Keep semantics as today, no variable initialization within task, function, named block. Dennis moves as indicated in issue 20. Cliff seconds. Cliff withdraws his second. We decide to delay to give Shalom time to add his edits. If Shalom's proposal is accurate, Cliff, Gord, etc would like it better. Shalom with update the issue. Issue 12: (9:20) Hierarchical_parameter_identifier is needed. Shalom proposes the fix in issue 12. Cliff seconds. No opposed. No abstain. Passes. Issue 53: (9:24) The BNF rules for net_lvalue and net_concatenation_value seem to be inconsistent with respect to index expressions. Shalom proposes the fix in issue 53. Dennis seconds. No opposed. No abstain. Passes. Issue 59: (9:31) Problem in chi_square function. Shalom proposes the fix in issue 59. Cliff seconds. No opposed. Dennis abstains. Passes. Issue 89: (9:36) Multiple attributes are ok. So this is not a bug. Nested attributes are not ok, a new issue should be filed. Brad to file. Shalom to change an example to demonstrate this is ok. Issue 28: (9:40) Shalom proposes fix in 28. Cliff seconds. No opposed. No abstain. Passes. Issue 178: (9:43) function_if_else_if_statement seems redundant. Perhaps it is useful for avoiding delay statements. More proposal needed for section 9.4.1. Brad moves that we change to not a bug. Cliff seconds. Shalom opposes. Gord, Steven, Dennis, James abstains. Steven, Brad, Cliff vote for. Passes Stefen to move to not-a-bug. Issue 6: (9:55) Post-poned until generate approposal. Steven to move to analyzed. Issue 16: (9:56) Steven to move to analyzed. Issue 35: (9:57) Shalom proposes that we accept the fix in issue 35. Brad seconds. Steven opposes. Charles opposes. Charles volunteers to fix this section. Stefen to move backed to analyzed. Shalom will file a separate issue on terminology in the standard. Issue 118: (10:04) Signed and reg in wrong order. Karen moves fix in issue 118. Cliff seconds. No opposed. No abstain. Passes. Issue 119: (10:06) Clarify with a statement that shorter numbers can be followed by 1-3 octal digits. A character must be specified as 3 digits if the following character is an octal character. Karen to propose for next time. Issue 121, 159: (10:12) Karen moves that these be treated as "Shalom to implement the replacement back to what we had before the IEEE's changes." Stefen seconds. No opposed. No abstain. Passes. Issue 122: (10:21) Karen moves that we approve the fix on 122. Gord seconds. No opposed. No abstain. Passes Issue 126: (10:24) Stefen to note that the fix was made in 2001b and mark as VSG passed. SV-BC Issues requiring resolution: (ETF issue number: SV-BC issue number) *28: 19-43 (fixed 12/16/02) 85: 19-35 112, 200: 19-21, 19-24, 19-26 63, 174: 19-15 133: 19-1 136: 19-3, 19-5 *178: 19-32, 19-33 (addressed 12/16/02) 181: 19-49, 19-52, 19-55 182: 19-31 193: 19-16, 19-17 202: 19-23 (* have proposals) Next Meeting is 12/16/02 at 8:30am Pacific.