SV-EC Errata Meeting Minutes Monday 27 September 2004 11:00 am. to 1:00pm [Distribued, for approval at next sv-ec errata meeting] Attendees: ---------- (AA-) Arturo Salz (AAA) Brad Pierce (-AA) Cliff Cummings (A-A) Dave Rich (A--) David Smith (--a) Don Mills (A--) Dennis Brophy (AAA) Eugene Zhang (AAA) Francoise Martinolle (A-A) Karen Pieper (AAA) Mehdi Mohtashemi (AAA) Neil Korpusik (AAA) Ray Ryan (--A) Steven Sharp (A--) Stu Sutherland (aAA) Surrendra Dudani (-Aa) Yogesh Pandey ||| ||| |||_ 27 September 2004 ||__ 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. Surrendra - review errata 4 to make sure nothing else would be impacted. Send an email to sv-ec to that effect. 2. Ray - review errata 6, report if all issues are resolved. 3. Mehdi - did we already vote on errata 7? Check, if not then place for email-vote. 4. Ray - update the format for the proposal to errata 8. 5. Brad - update the "Additional info" field to reflect the date when a vote took place. 6. Ray - send out a list of alternatives for errata 172. Turn into a proposal if there is general agreement on an alternative. 7. Surrendra - turn errata 173 response from Arturo into an actual proposal. 8. Mehdi and Ray discuss errata 175 off-line. 9. Surrendra - provide a rewording for errata 197. 10. Surrendra - provide a formal proposal for errata 203. 11. Surrendra - provide a formal proposal for errata 231. 12. Surrendra - provide a formal proposal for errata 236. 13. Neil - send out a proposal for errata 25. 14. Mehdi - get the champions involved in deciding errata 213. 15. All - send feedback to the SV-BC on errata 216. 16. All - review the other errata that we didn't cover in this meeting. 17. Mehdi - discuss with Karen how to handle Eugene's request to replace errata 238 and 240 with a new proposal. Minutes 27 Sept 2004 taken by Neil Korpusik 1) Review of the IEEE patent policy ref: http://standards.ieee.org/board/pat/pat-slideset.ppt Mehdi read the policy. 2) Approve the minutes of 13 September 2004 The minutes are up on the page, http://www.eda.org/sv-ec/Minutes.html They were sent to the reflector 21 September 2004. Motion: To approve minutes of 13 September 2004: Brad Second: Ray Abstain: Opposed: Passed 3) Announcement of chair notes from p1800 Sep 14 2004 meeting: Karen provided input from the last P1800 meeting. - Our operating guidelines were approved - All of the chairs/co-chairs were ratified - We are able to work on "use model errata" Our operating guidelines permit use-model errata and incompatibilities to be addressed and corrected by the errata technical sub working group. - If the proponent of an issue that is currently categorized as an enhancement request claims that it should be reclassified as a use-model errata the committee must first vote to determine if it actually falls into the use-model errata category. The following question should be used to determine if a proposal is a use-model errata: "Is this an issue that makes a current System Verilog feature unusable?". - Champion committee will be formed. - Next P1800 face to face meeting is scheduled on October 11, 2004. 4. Discussion of SVEC errata Karen will be reporting on errata status to the P1800 at their next meeting on 11 October 2004. She will be reporting on what we have passed so far. Our input to her is due by Midnight 7 October 2004, Thursday. AI: Mehdi will be sending out a list of errata this Thursday (30 Sept 2004) for an email vote. Several of the errata below were identified as candidates for such an email vote. Voting will be open for 1 week. Brad requested that html be used as the format for actual proposals. All proposals should be in a form that can be used by the editor for making specific LRM changes. Brad and Steven requested to add discussion on erratum 213, from sv-bc to sv-ec, as well as sv-bc requesting guidelines on 216 from sv-ec. Mehdi will create a numbered list of all action items from the past two meetings and todays' meeting. We will go through the High(Immediate), Medium and Low priority and then the enhancement requests items. We will vote on each for approval. In case proposals are needed for any erratum, then errata will be placed for vote by email this Thursday, September 30th, 2004. -------------------------------------------------------------------------- High [Immediate] -------------------------------------------------------------------------- 4 Add rs_rule precedence and example in Section 12.16 It was mentioned that this change would not affect constraints. It was decided that before voting another look at this change should be made to ensure that it won't affect anything else. -- EMAIL VOTE -- 6 Description of query and inst_query methods Ray wanted to review this one before a vote was cast. If all issues are resolved by Thursday it will be sent out for an email vote. -- EMAIL VOTE -- 7 Clarification to 20.4.1, new 20.10 The response to this item was sent out before the P1800 effort began. Mehdi will check to see if we voted on this already, if not, it will go out for an email vote. -- EMAIL VOTE -- 8 Randsequence grammar issues Ray needs to update the format. -- EMAIL VOTE -- 9 Erratum Queue Methods We thought that this was voted on as part of the Accellera activities. Motion: To approve this proposal: Neil Second: Surrendra Abstain: Opposed: Passed 10 Typo in 12.16.7 This was voted on already. 11 Typos in BNF Motion: To approve this proposal: Ray Second: Surrendra Abstain: Opposed: Passed 17 extra semicolons in method_prototype (LRM-292) Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 18 const_identifier missing from A.9.3 Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 22 $length is now $size, but two occurrences are not updated Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 33 Inconsistent semantics for null events Motion: To approve this proposal: Brad Second: Surrendra Abstain: Opposed: Passed 35 Semantics of class handle sensitivity Motion: No-bug, mark as resolved - Brad Second: Surrendra Abstain: Opposed: Passed approved no-bug resolved 71 Extra semicolon in covergroup_declaration (LRM-229) Motion: To approve this proposal: Ray Second: Brad Abstain: Opposed: Passed 83 Indentation wrong in D.5.11 example Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 84 for_step_assignment should allow subroutine_call Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 85 Typo in 12.12.3 Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 86 Keywords 'string' and 'while' should be bold in examples There was one more 'int' that needed to be made bold in 12.16.7 Motion: To approve this proposal, with friendly amendment: Brad Second: Ray Abstain: Opposed: Passed 90 Keywords 'cross' and 'coverpoint' should be bold in 20.2 Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 135 [Jeita 10] typo Motion: To approve this proposal: Brad Second: Surrendra Abstain: Opposed: Passed 140 [Jeita 15] typo in section 20 Motion: To approve this proposal: Ray Second: Surrendra Abstain: Opposed: Passed 141 [Jeita 16] Typo in section 20 Motion: To approve this proposal: Ray Second: Surrendra Abstain: Opposed: Passed 165 'covergroup_declaration' missing as a 'class_item' Motion: To approve this proposal: Ray Second: Surrendra Abstain: Opposed: Passed 172 assignment of values to fixed bins is not specified This proposal requires some discussion. AI: Ray will send out a list of 3 possible alternatives. Users are able to explicitly create overlapping bins. -- EMAIL VOTE if alternatives are in by Thursday Sept 30, 2004-- 173 Is the order of declaration in a covergroup Motion: To approve this proposal (response from Arturo): Brad Second: Surrendra Abstain: Opposed: Passed AI: Surrendra will turn this into an actual proposal. 174 Split bullet describing a random variable into 2 separate bullets Motion: To approve this proposal: Ray Second: Surrendra Abstain: Opposed: Passed 175 Ambiguous ordering of random variables The use of "solve before" in this example has no impact on the solution space but it can affect the distribution. Ray pointed out that most cases that can arise are described in the LRM but there is still one hole. AI: Mehdi and Ray agreed to discuss this off-line. 197 Is a String an array String can not be randomized, this is clarification. Motion: To approve: String is a data type not an array: Neil Ammended to add that a string is not an integral type. Second: Surrendra Abstain: Opposed: Passed AI: Surrendra will provide a proposal for rewording this section of the LRM. 203 Section 3.7, delete the sentence "and embedded null bytes are included" It was pointed out that this is not the same as in the C language. There was some concern about consistency with the usage of the VPI. AI: Surrendra will provide a formal proposal. -- EMAIL VOTE -- 224 Grammar typo in Table 9-1 Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 231 Clarify the second paragraph in Section 16.5 AI: Surrendra will provide a formatted proposal. -- EMAIL VOTE -- 233 table is a keyword and other typos Motion: To approve this proposal: Brad Second: Ray Abstain: Opposed: Passed 235 wait_order BNF Motion: To approve this proposal: Brad Second: Francoise Abstain: Opposed: Passed -------------------------------------------------------------- Medium -------------------------------------------------------------- 211 Add clarifying example to builtin / scope randomize Bill Paulsen from Cadence had some comments. If there is a resolution of the concerns by Thursday it can go out for an email vote. This single errata may cause other errata to spin-off of it. -- EMAIL VOTE -- 236 Behavior of the cycle_delay with 'Zero' value Surrendra explained his understanding of the intended semantics. What he stated was almost identical to what Eugene had written in the errata item. AI: Surrendra will formalize the proposal. -- EMAIL VOTE -- -------------------------------------------------------------- Low ------------------------------------------------------------ 25 Pass by reference behavior of dynamically allocated objects Dave Rich sent out examples of situations where clarifications are needed. Neil agrees with Dave that there are indeed a few cases that should be clarified. It was agreed that this would be moved to immediate. AI: Neil will send out a formal proposal. -- EMAIL VOTE if possible by Thursday -- 138 [Jeita 13] unclear behavior of default sequence 171 Configuration of programs 204 Missing $unit and program identifier for class resolution operator 219 disable/return and fork-join/join_any/join_none 234 associative_dimension BNF 237 Clarification of wait fork ** 240 Expression evaluation with cycle_delay Eugene mentioned that his latest proposal would eliminate the need for this errata. -------------------------------------------------------- Enhancement requests -------------------------------------------------------- 134 [Jeita 9] 4 state values as constraints ** 238 Pipelined value access in clocking block Eugene mentioned that his latest proposal would eliminate the need for this errata. 239 Allow specific clocking event on each cycle_delay declaration 241 Regular expression handling mechanism 242 Aspect-oriented programming (AOP) mechanism 244 Class method overwrite 245 Array of queues 246 Random object stability example code 247 Property qualifier and random stability in object instances 5) New business Erratum 213 - was sent to the SV-EC from the SV-BC There is an inconsistency between the way that the inside operator (7.20) and the wildcard operator (7.5) treat X and Z values. Motion: to send it back to the SV-BC - Brad Second: Steven Abstain: Opposed: Passed Mehdi felt that the champions should get involved in this decision. Will discuss with Karen on action plan. Errata 216 - the SV-BC would like to get feedback from SV-EC on this. Errata 240 and 328: Eugene mentioned that with the latest email he has sent, we can ignore these and combine them with one statement change, at the bottom of the email sent by Eugene. Move this to high-priority after fix. Mehdi will check with Karen on how this can work. EMAIL VOTE: notice will be sent out by Midnight Thursday September 30, 2004. Votes casted in one week or sooner. 6) Next meeting times. October 11 -- coincides with P1800 meeting. CANCELLED October 25 -- November 8 -- November 22 -- thanksgiving week? 7) Next Meeting Monday October 25th, 2004. 11:00 am-1:00pm. send the logistics, agenda. 8) Meeting adjourned at: 1:12 p.m.