Subject: [sv-ec] Minutes of 4 August 2003 meeting
From: David W. Smith (david.smith@synopsys.com)
Date: Mon Aug 04 2003 - 15:48:50 PDT
Here are the minutes for the SV-EC meeting of August 4, 2003. They can also
be found at:
http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2003-August-4.txt
Regards
David
SV-EC Meeting Minutes
4 August 2003 11:00 am. Monday
(rrr)
Voting Members (3/4 or > 75%)
(aaa) Arturo Salz (Synopsys)
(-aa) Brad Pierce (Synopsys)
(aaa) Dave Rich (Synopsys)
(aaa) David Smith (Synopsys)
(aaa) Jay Lawrence (Cadence)
(--a) Jeff Freedman (ModelTech)
(aaa) Michael Burns (Motorola)
(-aa) Mehdi Mohtashemi (Synopsys)
(aa-) Neil Korpusik (Sun)
Non-Voting Members (attendance based)
(---) Chris Spear (Synopsys)
(-aa) Dennis Brophy (ModelTech)
(---) Francoise Martinolle (Cadence)
(--a) Ray Ryan (ModelTech)
Guests (non-voting)
(--a) Cliff Cummings (IEEE 1364)
(---) Stefen Boyd (IEEE 1364)
(-a-) Stu Sutherland (IEEE 1364)
(-a-) Kevin Cameron (National)
(--a) Don Mills (LCDM Engineering)
Inactive Members (Missed last 4 meetings)
r => Regular meeting
x => Extra meeting (Presence counts for attendance, absence does not)
a => Attended
p => Attended by proxy
- => Missed
Action Items:
[identified with AI (#) in this text, # refers to AI number]
This week:
AI-7: Brad: Brad to send comments on BNF for randcase (EXT-8).
Minutes 8/4/03 taken by David Smith
1. Review of meeting minutes from 21 July 2003 meeting
Motion: Accept the minutes from 21 July 2003 meeting
Moved: Arturo
Second: Dave
Abstain: Jay
Against: None
Passed
2. Review of action items
AI-5: Cliff and Arturo have been discussing the email and there will be
a published response once the issue is understood.
AI-6: The topic has been raised with the chairs and will be addressed
in this weeks chair meeting.
3. Review of Inter-committee dependencies
Discussed the process of monitering inter-committee issues and the
responsibility of the chair and champion to raise these issues.
We have Brad as a volunteer to handle BNF and refine it and make
corrections.
4. Review of Errata list:
David: two errata items to work through.
ERR-2:
Cliff: if this is around from superlog, how many users affected.
Arturo: not in superlog, it has been in Vera. packed array need to
specify range.
David: Is this a correction to the statements referred to, 4.2, page
26, second paragraph?
David: make a proposal and then we discuss it. as a proposal.
Motion:
Proposal is to change the
That is, [size] becomes the same as [size-1:0].
to That is, [size] becomes the same as [0:size-1].
and the example below to change to
int Array [8][32]; is the same as Array [0:7][0:31]
Moved: Arturo
Second: Mehdi
Discussion: None
Abstain: None
Against: None
Passed
David: This will be added to the list of LRM changes and marked
approved.
ERR-4:
David: since nothing has been proposed we will let it stay on errata
list.
Jay: nothing to change here, static -static, dynamic.
Arturo: it is the automatic variables, referred in the enclosing scope,
then this scope/parent thread ends. to avoid this, copy variables
static variables are clear, in the new fork-join-none.
David: need a proposal then to review and agree to the specification.
David Rich is listed for it.
Mike: Why in EC?
Jay: testbench capability.
David: Will wait for proposal.
Jay: Another subject ERR-3, the implication and bi-directionality in
errata.
David: the LRM page it has been taken care of in LRM-2 if we need to
have the discussion on bidirectionality, it would be better on the
reflector.
5. Review of committments received for 3.1a Extensions and discussion
David: we have 14 items in extensions, Synopsys has committed to provide
for extenstions 2 through 14. Priorities are defined and we will use
them to help guide our progress through the extensions.
A couple of comments: based on a discussion with Karen ext13 has
moved to BC and is part of separate compilation.
I also talked to Karen about static queue, potentially different
from support of dynamic queues, maybe dynamic/static be handled in the
same submission. The EC will be concentrating on the dynamic queue.
Any questions on list/process?
Brad: will give comments to Arturo and Mehdi separately. Problems with
BNF, how it incorporated in BNF.
Is it truely random? is it reproducable?
Arturo: Yes, it is deterministic, and can be set.
Brad: For the keyword, everyplace where there is case in 1364 it
starts with case, like casez,
David: Maybe change it to caser, case_rand or something similar?
David: We will evaluate the submission according to operating
guidelines. One thing is missing, the statement wether it has
been implemented or not.
The other criteria for evaluating a submission is listed in the
operating guidelines (such as consistent with SV 3.1 design).
Every committee member needs to go through the submission and
review/ask questions for all items in the operating guidelines,
vote on acceptance of the submission, make any changes, then vote
approving the addition to the LRM.
Jay: Are the select integers or constant expression?
Arturo: Any expressions (as in the BNF).
Ray: Weights include random number distribution?
Arturo: Yes, but nasty. Not excluded.
David: It can be reg, which can be assigned to from a random number,
and then used as a weight, cannot exlude it.
6. Next meeting: 18 August 2003 at 11:00am
7. Close of meeting at 11:50am.
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
This archive was generated by hypermail 2b28 : Mon Aug 04 2003 - 15:49:53 PDT