SV-EC Errata Meeting Minutes Monday 13 September 2004 11:00 am. to 1:00pm [Distribued, for approval at next sv-ec errata meeting] Attendees: ---------- (AA) Arturo Salz (AA) Brad Pierce (-A) Cliff Cummings (A-) Dave Rich (A-) David Smith (A-) Dennis Brophy (AA) Eugene Zhang (AA) Francoise Martinolle (A-) Karen Pieper (AA) Mehdi Mohtashemi (AA) Neil Korpusik (AA) Ray Ryan (A-) Stu Sutherland (aA) Surrendra Dudani (-A) Yogesh Pandey || ||_ 13 September 2004 |__ 31 August 2004 (a-) Alex Wakefield A => Attended (Present for both roll calls: beginning and end of meeting) a => Present for roll call at beginning, absent at end meeting roll call [refer to item 7 at end of this minutes for more information] - => Missed Action Items: ---------------- 1. Arturo - communicate the disposition of Errata 127 to Jeita. 2. Arturo - get clarification on Errata 138 from Jeita. 3. Ray - provide a proposal for Errata 172. 4. Surrendra - provide clarification for Errata 197. by the next meeting. 5. Arturo - add a bug note for Errata 219. 6. Brad - make a proposal for Errata 234. 7. Surrendra - make a proposal for Errata 236. 8. Arturo - add a bug note for Errata 237. 9. Arturo - add a bug note for Errata 240. 10. Errata 35 -- requires a vote Minutes 13 Sept 2004 taken by Neil Korpusik 1) Review of the IEEE patent policy It was agreed at the previous meeting that we should have someone read the patent policy for the first couple of meetings. Mehdi read the policy. 2) Approve the minutes of 31 August 2004 The minutes were not yet up on the web page. They were sent to the reflector 1 September 2004. Motion: To approve minutes of 31 Aug 2004: Ray Second: Arturo Abstain: Cliff (was not present at that meeting) Opposed: Passed 3) Prioritization of SVEC errata The list of prioritized errata needs to reach Karen by Midnight tonight(PST). She is giving a summary of the errata at the P1800 meeting which begins at midnight (9am Germany time). Before the meeting Mehdi attempeted to give all of the SVEC errata a priority. We went through the list as a group. Brad was updating the errata database as we proceeded through the list. Errata 4. Add rs_rule precedence and an example There is a proposal for it Keep as immediate Ray posted a proposal about a week ago. We agreed on this issue but there wasn't an official vote yet. Errata 6. Questions on functional coverage Keep as immediate Errata 8. randsequence BNF and example Was already voted on. (Brad) Errata 9. Clarifications in "4.14.2 Queue methods" Was already voted on. (Brad) Errata 10. Typo in 12.16.7 Was already voted on. (Brad) Errata 11. Typos in BNF - several There is a proposal for it Keep as immediate Errata 17. BNF typos Has a proposal (LRM-292) Keep as immediate Errata 18. const_identifier not defined in BNF of A9.3 Keep it as immediate Errata 22. $length needs to be changed to $size in 4.6.2 and 7.10 There is a proposal for it Make it immediate Errata 25. Clarification to section 10.4.2 Pass by reference We need additional input from Dave Rich to determine how to proceed. It appears that there is some confusion on how pass by reference works. Make it low Errata 33. Inconsistent semantics for null events 13.7.2 versus 3.8 There is a proposal for it Make it immediate Errata 35. Semantics of class handle sensitivity Marked as resolved - described in section 8.10 Requires a vote before closing it It was prematurely closed without a vote Will vote next meetings. Errata 71. Extra ; in covergroup_declaration BNF There is a proposal for it Make it immediate Errata 83. Indentation wrong in D.5.11 example There is a proposal for it Make it immediate Appears to be trivial Errata 84. BNF for for_step_assignment should allow subroutine_call Make it immediate Errata 85. Typo in 12.12.3 Make it immediate Appears to be trivial Errata 86. Keywords 'string' and 'while' should be bold (several) Make it immediate Errata 90. Keywords 'cross' and 'coverpoint' should be bold Same category as 86. Make it immediate Errata 127. Coverage for static verification AI Arturo talk to Jeita. Keep as resolved, not a bug. This is an enhancement request Errata 133. Random stability Section 12.13 of the LRM has a discussion on this topic. Motion: To mark this resolved, Not-a-bug: Brad Second: Neil Abstain: Opposed: Passed Errata 134. 4-state values as constraints 4-state values were deliberately not allowed to be used as constraints. It would be difficult to define the required algebra for complex constraints. This is an enhancement request Errata 135. Typo in section 12.4.7 There is a proposal for it Make it immediate Errata 138. Unclear behavior of default sequence Was discussed at the last meeting Requires clarification. AI Arturo - get clarification from Jeita. Errata 139. Clarification on how to change a value in a covergroup A response was posted as to where this is described in the LRM. Motion: To mark this resolved, Not-a-bug: Arturo Second: Surrendra Abstain: Opposed: Passed Errata 140. Section 20.6 Specifying coverage options - typo There is a proposal for it Make it immediate Errata 141. Section 20 Coverage - typo There is a proposal for it Make it immediate Errata 143. Clarification of '2 step' A clarification was posted in the errata database We don't expect people to use this type of syntax but it is allowed by the BNF. The amount of delay represented by this construct is tied to the resolution of the simulation. If the resolution changes so does the actual delay represented by 2 step. It was noted that the PLI today allows for this same capability. Motion: To mark this resolved, Not-a-bug: Arturo Second: Neil Abstain: Opposed: Passed Errata 144. Clarification of where 'step' can be used A clarification was added to the errata database. A step can be used anywhere a time-unit can be used. Usage of step outside of clocking block is a style issue. (See the comments under 143 for more details.) Motion: To mark this resolved, Not-a-bug: Arturo Second: Neil Abstain: Opposed: Passed Errata 165. BNF problem with covergroup_declaration There is a proposal for it. Make it immediate Errata 171. Configuration of programs Can a program be part of a configuration? This requires some discussion. Motion: To move this to low priority: Brad Second: Surrendra Abstain: Opposed: Passed Errata 172. Coverpoint - assigning values to specific bins Make immediate AI - Ray to provide a proposal. Errata 173. Is the order of declaration in a covergroup significant? Leave it as immediate There is a proposal for it Errata 174. Section 12.3 Random Variables - re-organizing some text There is a proposal for it Make it immediate Errata 175. Questions on section 12.3 Random variables Make it immediate Ray's group ran into these questions during implementation. Errata 197. Is String an array, section 3.7 size(), delete() - can't be used on it array manipulation - not allowed can be randomized - yes - requires some clarification AI Surrendra - provide clarification for this by the next meeting Errata 203. Section 3.7 String data type - treatment of null bytes Make it immediate AI Surrendra - have a proposal by the next meeting. Errata 204. Resolution operator - :: - $unit and program not specified $unit or a package name can be on the LHS. Objects of a program are accessible to other programs. Modules can't access programs. Surrendra wanted :: or . to be allowed. A class should be allowed in a package and then used. Make this low priority An example would help clarify this issue. Errata 211. Section 12.11 Randomization of scope variables - std::randomize() Add an example to help clarify std::randomize() There is a proposal for it Make it medium (normal) priority Errata 219. Section 9.8.2 join_any and join_none - disable Make it low priority AI Arturo - A bug note needs to be added to the database. Errata 224. Typo in table 9-1 Make it immediate Errata 231. Clarification to second paragraph of Section 16.5 Make it immediate Errata 233. Various typos Make it immediate Errata 234. BNF for index_type doesn't exist - section 4.9 What data types are allowed as an associative array index needs to be clarified. Make low priority AI Brad make a proposal Errata 235. BNF for wait_order A simple change will fix this. Make immediate Errata 236. Behavior of cycle_delay with 'zero' value Make normal (medium) priority AI Surrendra - prepare a proposal Errata 237. Clarification of wait fork - add a clarifying example Make this low priority Arturo thinks that the text in the LRM is already clear on this point. The call graph has nothing to do with the thread tree. AI Arturo - add a bug note Errata 238. Allow for specifying a pipelined value in a clocking block This is an enhancement request Errata 239. Allow specific clocking event on each cycle_delay declaration Arturo remembers this being discussed already and being voted down in committee. This is an enhancement request Errata 240. Expressions with embedded cycle delays The requested functionality is similar to the existing 'expect' construct described in section 17.16. This is an enhancement request AI Arturo - add a bug note Errata 241. Regular expressions This is an enhancement request Errata 242. Aspect-oriented programming mechanism This is an enhancement request Errata 244. Overwrite of a base method from a child class It was pointed out that a similar capability is already provided by virtual methods. This is an enhancement request Errata 245. Array of queues This is an enhancement request Errata 246. Modification to the example in 12.13.3 Make low priority This is where the errata discussion ended. The following errata were not discussed but are assigned to the SV-EC. Errata 247. Class-level random stability Errata 248. Typo in clocking_drive bnf Errata 249. Masked bit operations ?== ==? Errata 250. Problem in example in Section 8.5.2 4) Future meetings Meetings are planned for the following days. This is the full set of planned meetings before the December 1st cutoff date. September 27 October 11 October 25 November 08 November 22 7) Attendance requirement The operating guidelines require at least 50% of a meeting to be attended in order for individuals to receive credit for attendance. In order to monitor this it was decided that a roll would be taken at the beginning and at the end of each meeting. When someone drops off they need to notify the others on the call before they are about to drop off. Ray, Neil, Mehdi, Francoise, Arturo, Eugene, Brad, Surendra, Yogesh, Cliff 6) Next Meeting Monday 27th 11:00 am-1:00pm. send the logistics, agenda. 7) Meeting adjourned at: 1:02 p.m.