Subject: [sv-ec] Minutes from 5 January 2004 Meeting
From: David W. Smith (david.smith@synopsys.com)
Date: Mon Jan 05 2004 - 16:21:30 PST
Greetings,
Here are the minutes from today's meeting. They are also posted in the
normal place.
Regards
David
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
(-----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.
This archive was generated by hypermail 2b28 : Mon Jan 05 2004 - 16:23:12 PST