SV-EC Meeting Minutes 15 March 2004 11:00 am. Monday (rrrrrrrrrrxrxrxrrrrrrr) Voting Members (3/4 or > 75%) (aaaaaaaaaaaaaaaaaaaaaa) Arturo Salz (Synopsys) (-aaaaaaaaaaaa-aaaa-aaa) Brad Pierce (Synopsys) (aaaaa-aaaa-aaaaaaa-aaa) Dave Rich (Synopsys) (aaaaaaaaaaaaaaaaaaaaaa) David Smith (Synopsys) (-aaa-aaa-a-aap-p-aa---) Dennis Brophy (ModelTech) (aaaaapaaaaaa-aaaaa-a-p) Jay Lawrence (Cadence) (aaa-aaaaaaaaaaaaaaaaaa) Michael Burns (Motorola) (-aaaaaaaaaaaaaaaaaaaaa) Mehdi Mohtashemi (Synopsys) (aa-aaaaaaaaaaaaaaaaa-a) Neil Korpusik (Sun) (--aaaaaaaaaaaaa--aaaaa) Ray Ryan (ModelTech) ||||||||||||||||||||||_ 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): Minutes 3/15/04 taken by Mehdi Mohtashemi 1. Review of the meeting minutes http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2004-March-1.txt Motion: Accept Minutes of 1 March Moved: Ray Second: Mehdi Abstain: Francoise (not present), Neil (not present) Opposed: None Passed 2. Review Errata list ERR-79 (Neil) draft 5 acknowledgement section Neil: Minor corrections for wording. It seems it is corrected. Motion: Accept ERR-79 Moved: Neil Second: Arturo Abstain: Michael (not looked at) Opposed: None Passed ERR-80 (Brad) A few typos and editorial issues Motion: Accept ERR-80 Moved: Brad Second: Michael Abstain: None Opposed: None Passed ERR-81 (Brad) Constraint block BNF fixes Brad: In As-11, operator... (description of fixes followed). Motion: Accept ERR-81 Moved: Brad Second: Arturo Abstain: None Opposed: None Passed ERR-82 (Surrendra) Sequence events and expect stmt errata Arturo: Maket this section consistent with changes for the assertion language descriptions. Sequence instead of sequence expression, given vs. specified. Removes many repetitions, narrows it down, gets rid of redundant statements. Neil: What is the last red? Arturo: Strike of a command and replace by ; Motion: Accept ERR-82 Moved: Arturo Second: Neil Abstain: None Opposed: None Passed ERR-83 (Brad) Synchronous drive BNF Brad: It is about clocking, changes for clockvar, etc. Motion: Accept ERR-83 Moved: Brad Second: Arturo Abstain: None Opposed: None Passed ERR-84 (Arturo) Some simple fixes Dave: Two simple typos, one wrong variable name. The other task argument example needed fixed and there was a cut and paste error. Motion: Accept ERR-84 Moved: Dave Second: Michael Abstain: None Opposed: None Passed ERR-85 (Michael) $fatal/$finish/$exit proposed changes David: Michael sent these out at the start of the meeting. Michael: More clarity when final block executes, implicit execution of $finish. One issue in 18.7, it is done in other parts of LRM. First change, description in detail when final block executes. In 16.6.1 added some text. Section 17.2, description is removed in the error-system call. In section 23.8, assertions for system tasks, added some text. Dave: Change in section 16.6.1, Each program will be explicitly exited instead of finished. David: Two proposed modification to the changes. Michael: The reference algorithm does not say what should be done when we run out of events. I did not address it in here. Perhaps some others to look at it. Brad: Is this a 1364 issue? Francoise: PLI could create some events. David: Yes, you can create that. Francoise: Even in the Gui, user can change value and create an event. Michael: In that case when would the final block run. David: you have to do explicit call to $finish or $exit. Neil: The way it is written, is that final will exectue when there is no event in the the event queue. Michael: In the original 8.7, one of the conditions is that event queue runs out of event. There maybe usage model that empty event queue means that we are done. David: The case with Analogue simulator running, and digital not. Francoise: The analogue kernel may not be the cause of PLI. If interactive simulation, the stop is at the gui prompt, waiting for user input, is this in the event. David: Can be implementation dependent. Then if that is the case, an explicit call to $finish/$exit has to be called. Arturo: The pseudo code does mention it but the actual statement does not say it. David: The original in 8.7, the correction by Michael then makes it more clear. Any suggestion to change what Michael has sent and the two corrections we discussed. Francoise: Was one of the corrections that $exit is not called when there is no event in the queue. David: No, the two were, the other one, when all programs exite (explicitly or implicitly). The rest of discussion was on the observation. Arturo: There is a persistent event with the PLI calls. David: It would be possible to create an environment that would not exit when there are no more events. David: The modifications are: Each program can be explicitely exited by calling .. When all programs exit (explicitely or implicitely), the simulation ... Motion: Accept ERR-85 with above modifications. Moved: Michael Second: Arturo Abstain: None Opposed: None Passed ERR-86 (Brad) David: One other issue came up by email from Jamie this morning. Arturo: I think that is not an intentional limitation. Assign new to array elements. The only one that maybe is heirarchical. Brad: You would say, must it be identifier, could it be an expression that returns a field of struct. Arturo: It can be an expression. David: It may require an Errata for this. Brad: It could be something in parenthesis. Arturo: Is that a valid LHR expression. David: We have an Errata-86. Brad: In blocking assignment (in Syntax 8-2 (Section 8.3) and in Section A.6.2) replace class_variable_identifier = class_new with [ implicit_class_handle.| class_scope | package_scope ] heirarchical_variable_identifier select = class_new Motion: Accept ERR-86 with above proposal Moved: Brad Second: Arturo Abstain: None Opposed: None Passed 3. LRM Vote Complete vote on LRM technical approval Cadence - yes (Francoise for Jay) Sun - yes (Neil) Synopsys - yes (Mehdi) Motorola - yes (Michael) Mentor Graphics - yes (Ray) 3.1a is passed and approved to go to the board. Verified Brad 3/12/2004 4. Meeting logistics David: We are transitioning to doing just errata. I will call a meeting in the middle of April. Thanks to everyone for your work on 3.1a and our successful conclusion. 5. Meeting adjourned at: 12:00 noon.