Greetings,
Attached are the minutes from this Monday's meeting.
Regards
David
David W. Smith
Synopsys Scientist
Synopsys, Inc.
Synopsys Technology Park
2025 NW Cornelius Pass Road
Hillsboro, OR 97124
Voice: 503.547.6467
Main: 503.547.6000
FAX: 503.547.6906
Email: david.smith@synopsys.com
http://www.synopsys.com <http://www.synopsys.com/>
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.
This archive was generated by hypermail 2.1.8 : Thu Mar 18 2004 - 14:02:13 PST