SV-EC Meeting Minutes 24 May 2004 11:00 am. Monday (rrrrrrrrrrxrxrxrrrrrrrrr) Voting Members (3/4 or > 75%) (aaaaaaaaaaaaaaaaaaaaaaaa) Arturo Salz (Synopsys) (-aaaaaaaaaaaa-aaaa-aaaa-) Brad Pierce (Synopsys) (aaaaa-aaaa-aaaaaaa-aaaaa) Dave Rich (Synopsys) (aaaaaaaaaaaaaaaaaaaaaaaa) David Smith (Synopsys) (-aaa-aaa-a-aap-p-aa-----) Dennis Brophy (ModelTech) (aaaaapaaaaaa-aaaaa-a-p-a) Jay Lawrence (Cadence) (aaa-aaaaaaaaaaaaaaaaaaaa) Michael Burns (Motorola) (-aaaaaaaaaaaaaaaaaaaaaaa) Mehdi Mohtashemi (Synopsys) (aa-aaaaaaaaaaaaaaaaa-aaa) Neil Korpusik (Sun) (--aaaaaaaaaaaaa--aaaaaaa) Ray Ryan (ModelTech) |||||||||||||||||||||||__ 24 May |||||||||||||||||||||||__ 12 April ||||||||||||||||||||||___ 15 March ||||||||||||||||||||||___ 1 March ||||||||||||||||||||_____ 2 February |||||||||||||||||||______ 21 January ||||||||||||||||||_______ 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) (--aaaa-aaa---a-aaa------) Cliff Cummings (IEEE 1364) (-------------s-s--------) Doug Warmke (ModelTech) (-----s---------------s--) Francoise Martinolle (Cadence) (--a-aaa-a---------------) Jeff Freedman (ModelTech) (-----------a------------) Peter Flake (---------------a--------) Ron Goodstein (First Shot Logic Simulation and Design) (---a-----------aa--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): AI-59/ERR-90: Arturo: Generate erratum on query and inst_query methods. AI-60/ERR-91: Arutro: Generate erratum on 1, 3, and 6 responses to Ray's email on randsequence. AI-61/ERR-92: Ray: Add rs_rule precendence and example in Section 12.16 Minutes 5/24/04 taken by Mehdi Mohtashemi 1. Review of the meeting minutes http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2004-April-12.txt Motion: Accept Minutes of 12 April Moved: Dave R. Second: Mehdi Abstain: None Opposed: None Passed 2. Review Errata list David: There are 3 item plus one this morning. One of them is the respons from Arturo to the email on coverage dated on the 15th. Any discussion. Coverage: Ray: Useful responses. Would be good to include answers to 1 and 6 as an erratum and need the description of query and inst_query methods. Arturo: The response to 3 also includes information that should be in the LRM. Arturo There is a mistake in my response on transition sequences. The general response was correct but the example still had a problem. David the 3 items are the equations, use of maximum, and the discussion on overlapping sequences. General consensus is that they should be added. Neil: Add the equations as 20.10. Motion: Generate erratum for query and inst_query methods, and 1, 3, and 6 responses. (AI-59, 60/ERR-90,91) Moved: Ray Second: Michael Abstain: None Opposed: None Passed randsequence grammar issues (email on 4/20/2004 by Ray Ryan): Arturo: Issue 1 and 3 are simple corrections. Arturo: Issue 2 changes the grammar by adding a ; to the end of the rs_case_item. Ray: This helps the grammer and the use of a case statement within a case statement. Arturo: It should be ok. David: This would be more regular with the existing case statement. Ray: This would remove some complexity in the implementation. Add it as text. Mehdi: Also the example. Motion: Approve all 3 randsequence grammar issues (ERR-93) Moved: Ray Second: Michael Abstain: None Opposed: None Passed rs_rule ambiguity (email on 4/24/2004 by Ray Ryan): Ray: Not as simple an issue. This has to do with productions as a separate rule. Within a rule you can have a list of production items. At the end of a given rule, you can have an option for expression of the weight. It could be an expression that uses the | (or) operator, hence there is an ambiguity between separation of rules or expressions. Arturo: Yes, the is an ambiguity, common with if-else statements, you can resolve by given precendence to the use with expressions. Ray: Where would we define it? The table in 3 would be confusing. Let's just add it in Section 12.16. Motion: Add precedence and example to Section 12.16 (AI-61/ERR-92) Moved: Ray Second: Arturo Abstain: None Opposed: None Passed Queue method clarification (email on 5/18/2004 by Dave Rich) Neil: The list of typedefs, are all of them used? Dave: Yes, queue was used with no definition. Main thing was that qtupe of an item had no definition. It is not a queue but a type of element of a queue. Neil: Better choice of words. Motion: Include queue method clarification as errata. (ERR-94) Moved: Dave Second: Michael Abstain: None Opposed: None Passed Arturo: Clarification on item 5 of the coverage response. 0 repetitions are allowed. I believe it was part of the alignment with PSL. Ray: It is clear. Typo in 12.16.7 (ERR-95) Ray: Simple typo Arturo: Good catch Ray. 3. Next Meeting David: We have a couple of action items that need resolved. We should meet again to get the above closed. The June 3rd meeting will cover how to move forward. Committee activities to wrapped-up. What effort needs to be placed for clarifications/erratas to continue? What would the change look like? I would like to have a meeting on June 7th, as a last time for the EC committee and to close off the action items. Jay: It is DAC. David: Can we do it by email? Jay: Plan on that, if needed then plan on meeting. David: We will vote on them by email. This is the last meeting of EC. Thank you all. 4. Meeting adjourned at: 11:46 a.m.