SV-EC Meeting Minutes 5 January 2004 11:00 am. Monday (rrrrrrrrrrxrxrxrr) Voting Members (3/4 or > 75%) (aaaaaaaaaaaaaaaaaa) Arturo Salz (Synopsys) (-aaaaaaaaaaaa-aaaa) Brad Pierce (Synopsys) (--aaaa-aaa---a-aaa) Cliff Cummings (IEEE 1364) (aaaaa-aaaa-aaaaaaa) Dave Rich (Synopsys) (aaaaaaaaaaaaaaaaaa) David Smith (Synopsys) (-aaa-aaa-a-aap-p-a) Dennis Brophy (ModelTech) (aaaaapaaaaaa-aaaaa) Jay Lawrence (Cadence) (aaa-aaaaaaaaaaaaaa) Michael Burns (Motorola) (-aaaaaaaaaaaaaaaaa) Mehdi Mohtashemi (Synopsys) (aa-aaaaaaaaaaaaaaa) Neil Korpusik (Sun) (--aaaaaaaaaaaaa--a) Ray Ryan (ModelTech) ||||||||||||||||||_ 5 January |||||||||||||||||__ 15 December ||||||||||||||||___ 8 December |||||||||||||||____ 1 December ||||||||||||||_____ 24 November |||||||||||||______ 17 November ||||||||||||_______ 11 November |||||||||||________ 3 November ||||||||||_________ 27 October |||||||||__________ 20 October ||||||||___________ 13 October |||||||____________ 29 September ||||||_____________ 15 September |||||______________ 2 September ||||_______________ 18 Aug |||________________ 4 Aug ||_________________ 21 July |__________________ 7 July Non-Voting Members (attendance based) (------a-----------) Chris Spear (Synopsys) (-------------s-s--) Doug Warmke (ModelTech) (-----s------------) Francoise Martinolle (Cadence) (--a-aaa-a---------) Jeff Freedman (ModelTech) (-----------a------) Peter Flake (---------------a--) Ron Goodstein (First Shot Logic Simulation and Design) (---a-----------aa-) Stefen Boyd (IEEE 1364) (-a---a----------aa) Stu Sutherland (IEEE 1364) Guests (non-voting) (--a-a-a----------a) Don Mills (LCDM Engineering) (-----a------------) James Young (HP) (-a----------------) Kevin Cameron (National) r => Regular meeting x => Extra meeting (Presence counts for attendance, absence does not) a => Attended p => Attended by proxy s => Attended as proxy - => Missed Action Items: [identified with AI (#) in this text, # refers to AI number] Added this week (please see the site for existing action items): Minutes 1/5/04 taken by Mehdi Mohtashemi 1. Review of the meeting minutes http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2003-December-15.txt Motion: Accept Minutes of 15 December Moved: Mehdi Second: Arturo Abstain: Ray (not there), Neil (not read) Opposed: None Passed 2. Review of open Action Items All closed 3. Review of Inter-committee dependencies SV-BC 117: Task or function defaults. Identifiers must be valid for calles and subroutine sight. Needs clarification to be only from the view of the definition site. ERR-70 - Owner assigned: Arturo David: There is one errata coming from BC related to identifiers. It is SV-BC Issue 117. Dave: It covers identifiers, clarification, only from point of definition side, tightening it up. Having a default based on the callee side. Brad: No it is loosening, because it is only one side. Dave: Yes, you are right, visible from the caller side. Arturo: Has to be, otherwise how does the caller know about it. Dave: When you define a task, it is visible from the definition side. David: We need to look at it and see what to do the with the errata, coming from BC. This is errata is ERR-70. Brad: You can define the return value inside the function. Dave: If it is visible from both invocation and definition, which one to pick? Arturo: The idea was to pick it where it is called. In this case we are forcing it to be from the definition side. David: Some clarification is needed, who will take ownership on this. Arturo: I will do. Dave: There are actually 3 different issues raised, in BC. 4. Review Errata list Proposals: ERR-68 (Brad Pierce): Clocking domain erratum Brad: Put cycle delay into procedural timing control, repairing the syntax box. I move that we accept this proposal. Jay: Was there a reason that we did not add this in the delay control statement? Arturo: You are right Jay, I think I need to look at this. Jay: There are couple of other places where delays are used, question is to allow the cycle delay there. It does not make sense to allow it in the clocking skew. Is there a reason it is not called cycle delay control? It would be more consistent if it is called cycle_delay_control. Like event_control it is a control and not a delay. Brad: You have a proposal. Jay: Friendly amendment to add control there. Motion: Accept ERR-68 proposal with ammendment of cycle_delay_control instead of cycle_delay Moved: Brad Second: Jay (with the amendment) Abstain: None Opposed: None Passed ERR-69 (Brad Pierce): Array method names Brad: The change is method calls are now two ways, method call and with clause. Ray: Can you use the with clause with the array method call. Arturo: yes. Brad: Lets look at randomize. Ray: Is randomize a keyword. Arturo: Randomize is not a keyword. David: The other places where with is allowed there expressions with them. Is there any amendment to the footnote 23? Brad: No, it is still appropriate. Stu: One errata I noticed in the changes. Section 17 adds an assume keyword and it is not in the Annex B. David: Yes, we will fix that. Any other discussion on errata 69? Motion: Accept ERR-69 proposal Moved: Brad Second: Arturo Abstain: None Opposed: None Passed ERR-67 (Brad Pierce): Syntax 10-2 match BNF David: The other errata open is Err-67. Since there is a verbal proposal, shall we vote on it. Motion: Accept ERR-67 proposal (see email to update 10-2 syntax with correct BNF) Moved: Brad Second: Michael Abstain: None Opposed: None Passed 5. LRM Review The following tasks need to be completed on Draft 3 David: Requested to have folks to review Glossary, Need to check all cross references number of section changes. Stu: Everything that is not hard-coded automatically gets updated, Cliff: Where is draft 2 for download. David: www.eda.org/sv page has all items committee-wide. All approved standards and working documents. Need volunteers to look at the documents. Ray: Volunteer to work on cross references. Dave: I will take up some of the glossary words. David: We have 29 chapters, if everyone took 7 chapters that would work. Neil: Add me to the list. Brad: Put me down as well. David: Ray the first 7, Stu 8-14, Neil, 15-21, Brad 22 to 29. Last one has least EC related, mostly CC. Mehdi: When do you need this? David: End of February, all reviews done, good section done by next two meeting. Dave: Subject matter is better to divide up. For example type-equivalency. The other areas are arrays, informative section, queues, single vs. multi-dimensional arrays, dynamic array of anytype, what happens there. David: The other one is assertions as a general group, constraint and c-api Mehdi: I will take classes and randomization. Michael: With assertions, do you want to look at consistency with the rest of the language? David: Yes, I would like someone to look at it and make sure it is consistent. Michael: I will take assertions David: Ok, in draft 3. C-Api and constraint. Dave: Do we want other committees to take this? David: We want to look at it from TB side as well to make sure everything is consistent. Arturo: I will take the constraints. David: Will go ahead. Summary and Assignments: Glossary Dave Verification of all cross references Sections 1-7: Ray Sections 8-14: Stu Sections 15-21: Neil Sections 21-29: Brad Check all changes for consistency and correctness Assertions - Michael C API - Classes/Randomization - Mehdi Constraints - Arturo Types - Dave 6. Review 3.1a Extensions and discussion All closed 7. Meeting Logistics Next meeting scheduled for 19 January 2003 from 11:00am until 1:00pm Focus on editorial review and any open errata. 8. Next Meeting Monday January 19, 2003, 11:00am-1:00 pm PST 9. Meeting adjourned at: 11:48 am.