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.