Minutes from the Errata Task Force Conference Call November 18, 2002 Attendees: 1110000 \ 1109998 / Month 1022002 \ 8413996 / Day aaaa*aa Steven Sharp * aa-a*aa Karen Pieper * --a-$aa Cliff Cummings aaaa=-a Shalom Bresticker * a---*aa Stu Sutherland aaaa*aa Stefen Boyd * aaaa*aa Dennis Marsa * -aaa$aa James Markevitch * aaa-=-a Gordon Vreugdenhil * ----*aa Elliot Mednick aaaa$aa Anders Nordstrom * aaa-$a- Ted Elkind aa-a*a- Brad Pierce aaaa*a- Charles Dawson -aa-$a- Mike McNamara ----*a- Tom Fitzpatrick (* 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 11/4/02 meeting. Anders moves that we accept the minutes. Shalom seconds. No opposed. No abstain. Passes. Action Item updates: (Pre 11/4/02) Cliff still to analyze issue 9 and 13. (Pre 11/4/02) Issue 28, new proposal from Cliff pending. (Pre 11/4/02) Shalom to finish up number 15 (indentation). He will mark up the framemaker and do the indentation as the author proposed. He sent it out, but the bug tracking software transformed it into text. Shalom is resending. Issue 171 is a follow up to that action item. ** For issue number 15, the indentation proposal is not accepted. (11/4/02) Steven will proposing a wording to fix 172. (11/18/02) Stefen will update issues: 15, 155, 174, 63. (Note the passed proposals are marked by **.) (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 (11/18/02) Dennis and committee to return with a power operator proposal for 140 (11/18/02) Steven and committee to return with an @* proposal for issues 22, 82, 84 (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 The assignments are: PLI: 101 17.10.1: $test$plusargs argument 167 2001b, 25.13, 25.31: tf_error and tf_message outside checktf 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 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 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 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 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 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 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 Issues: Issue 155: SV-BC19-6 -- Removing [] on list_of_ports in module_declaration's first production. In case of a module declaration that isn't followed by neither a port list nor a port declaration list then the module declaration should be parsed using the second rule. Module declaration in 2001 does not require (). remove first -- Karen, Shalom, Stefen, Brad, Dennis, Gord remove second -- Steven ** Karen moves that we remove the square brackets around the list_of_ports element in the old style module_declaration production. Charles abstains. Anders abstains. No oppose. Stu abstains. Passes. Issue 174, 63: SV-BC19-15 -- Removing (mintypmax_expression) from the delay_value production. Parsing the mintypmax_expression syntactic category (with out braces) and the identifier tokens are redundant (the mintypmax expression parses the identifiers) Also the brackets are needed to avoid ambiguity when parsing the following blocking assignments: out = #delay ++ data; // can be interpreted as a = #(delay ++) data; or a = #delay (++data); ** Dennis moves that we modify the BNF to the following productions: delay3 ::= # delay_value | #( mintypmax_expression [, mintypmax_expression [, mintypmax_expression]]) /* bold () */ delay2 ::= # delay_value | #( mintypmax_expression [, mintypmax_expression]) /* bold () */ delay_value ::= unsigned_number | real_number | identifier Shalom seconds. Gord opposed. No abstain. Passes. Creating sub-committees for high-priority issues: We have created sub-committees to create proposals for the following issues. If you would like to join a discussion, please contact the issue lead. Issue 113, 17: Generate. Gord is lead, Steven, Dennis, Shalom, Charles? Issue 140: Power operator. Dennis is lead, Gord, Steven, Shalom. Issues 22, 82,84: @*. Steven is lead, Gord, Dennis, Shalom. Karen will divvy up all of the TBD issues among the following committee members: Steven, Karen, Shalom, Dennis, Gord, Anders, Brad Issues: Issue 20: real, time variables are allowed to have initializations in named blocks whereas reg variables are not. Discussion: do we keep semantic checks in the syntax? Gord, Steven would like to keep the grammar from getting more complex. Brad will review changes in issue 20, and work with Dennis if there are issues. Everyone should come prepared to the next meeting to discuss it. For next time please look over issues 12, 53, 59, 89. Next Meeting is 12/2/02 at 8:30am Pacific.