[sv-ec] Minutes from 21 July 2003 Meeting


Subject: [sv-ec] Minutes from 21 July 2003 Meeting
From: David W. Smith (david.smith@synopsys.com)
Date: Mon Jul 21 2003 - 16:53:30 PDT


Greetings,
Thanks to everyone for their patience with my phone. Disturbing.
 
The minutes for the meeting can be found at:
http://www.eda.org/sv-ec/Minutes/SV-EC-Minutes-2003-July-21.txt
 
At the request of Stu Sutherland I have also included the minutes in the
email body.
 
Regards
David
 
SV-EC Meeting Minutes
21 July 2003 11:00 am. Monday
 
Voting Members (3/4 or > 75%)
(rr)
(aa) Arturo Salz (Synopsys)
(-a) Brad Pierce (Synopsys)
(aa) David Smith (Synopsys)
(--) Francoise Martinolle (Cadence)
(aa) Jay Lawrence (Cadence)
(--) Jeff Freedman (ModelTech)
(aa) Michael Burns (Motorola)
(-a) Mehdi Mohtashemi (Synopsys)
(aa) Neil Korpusik (Sun)
 
Non-Voting Members (attendance based)
(--) Chris Spear (Synopsys)
(-a) Dennis Brophy (ModelTech)
(aa) Dave Rich (Synopsys)
 
Guests (non-voting)
(--) Cliff Cummings (IEEE 1364)
(--) Stefen Boyd (IEEE 1364)
(-a) Stu Sutherland (IEEE 1364)
(-a) Kevin Cameron (National)
 
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-5: Arturo: Respond to Cliff's issues - add to web page.
 AI-6: David: Pursue with chairs how the Separate Compilation
     committees results will be integrated into the LRM and whether it
     belongs to a single committee or is it similar to the Scheduling
     Semantics where it must be presented and approved by all committees.
 
Minutes 7/21/03 taken by David Smith
 
0. Before the meeting formally started Jay and David held a discussion
    concerning the email from Cliff Cummings concerning the Scheduling
    Semantics. We discussed where the response to Cliff should come from.
    The options discussed where SV-EC, the scheduling semantics group, or
    ask someone specific to respond. We agreed to ask Arturo or Phil
    to respond.
 
1. Review of meeting minutes from 7 July 2003 meeting
    Motion: Accept the minutes from 7 July 2003 meeting
    Moved: Michael
    Second: Arturo
    Abstain: Brad
    Against: None
    Approved
 
2. Review of action items
    AI-2: Discussed with Karen about EXT-5 disposition and resolved that
 there is no implication on SV-EC from the SV-BC action. We will
 continue to include it.
    AI-3: Review of operating guidelines complete.
    AI-4: Received response from Arturo. See below.
 
3. Vote on the operating guidelines
    We discussed the issues raised by Neil in his email and resolved all
issues.
    Jay again raised his concern about some of the content of the operating
    guidelines.
 
    Motion: Accept the operating guidelines as ammended on the web site.
    Moved: Michael (Motorola)
    Second: Brad (Synopsys)
    Abstain: Jay (Cadence)
    Against: None
    Approved
 
4. Review and discussion of the proposed list of extensions
    Jay raised the issue that he needed more detail on some of the items
    before he was comfortable with prioritizing them.
 
    The committee went through each proposed extension, discussed the
intent,
    and then gave priorities based on 1- strong desire, 2 - don't care, 3 -
    not important.
 
    EXT-1: Jay, Arturo - 3
     Arturo - describe this issue as adding additional methods to strings
     for manipulation. Arturo observed that much of this functionality
     can be provided through the DPI.
    EXT-2: Mehdi, Neil, Michael, Arturo, Jay - 1
     Michael - described the need to be able to have finer control over
     process execution especially the ability to kill a thread.
 Jay - raised the question of this was going to be a resubmittal of one
     of the failed proposals. The response was that we need to focus on
     the desire for the functionality and wait for any proposal to see
     the contents.
    EXT-3: Neil, Mehid, Arturo - 1, Jay - 2
     Neil - described the use of virtual ports within Vera and that
     something lack this is required within SystemVerilog.
    EXT-4: Arturo, Jay - 2
 Arturo - described this item as being both adding a system call to the
     underlying operating system (such as the "system" call) and other
     routines related to the new types.
    EXT-5: Arturo, Michael, Neil - 2, Jay - 3
     The problem was described as being related to the increase of the
 number of attributes for routines making it difficult to remember the
 explicit order required.
    EXT-6: Arturo - 2, Jay, Neil - 1
     Add suport for finding size of types and in enhance array queries for
 new types.
 Jay - Do we allow $bits in constant expression?
 Dave - Original Superlog donation did.
 Stu - There is an existing 1364 request to do this.
 Jay - Good idea but some nasty implementation details.
    EXT-7: Neil, Mehdi, Arturo - 1, Jay - 2
     Arturo - Actions in C API exist but need to be added to language
     (for example always@property).
 David - may be done in SV-AC since it is related to assertions.
 Jay - not necessarily so, where it goes in language belongs in EC.
     Need to limit what in the C API gets put into the language
     since some of it is there only for GUI support.
 Arturo - agreed.
    EXT-8: Arturo - 2
 Arturo - describe functionality.
    EXT-9: Arturo - 1, Jay, Neil - 2
     Jay - Important capablity and may need to coordinate with SV-AC.
     Difficult problem so come to session co-chaired by me and Arturo
     at ICCAD.
    EXT-10: Arturo, Neil - 1, Jay, Michael - 2
     Michael - may be able to be handle with vendor tools and may not be
     required in language.
    EXT-11: Arturo, Michael - 1, Neil - 2, Jay - 3
    EXT-12: Arturo - 1, Neil, Jay, Mehdi - 2
    EXT-13: Arturo, Jay, Dennis, Michael, Neil - 1
     Jay - Will give an easier mechanism for defining thing.
    EXT-14: Arturo, Mehdi, Jay, Neil - 1,
 
5. Start review of Errata
    ERR-1:
 Motion: Change Table 11-1 to indicate that there is no garbage
     collection for chandles.
 Move: David
 Second: Mehdi
 Abstain: none
 Object: none
    ERR-3:
 Motion: Correct Section 12.4.6 to change the word constraints to
     constrain in "the value of mode constraints the value of len".
 Move: David
 Second: Mehdi
 Abstain: none
 Object: none
 
    ERR-2/ERR-4:
 Discussed these errata and indicated that they should be converged and
 handled by Arturo.
 
6. Next meeting: 4 August 2003 at 11:00am
 
7. Close of meeting



This archive was generated by hypermail 2b28 : Mon Jul 21 2003 - 16:54:38 PDT