Minutes of IEEE P1800 SV-AC meeting #3: 09/29/04
Written by: Ed Cerny

Next meeting: Thursday, 10/14/04 at 9am PT (12pm ET)

code for the conference call:

        Domestic: 888-635-9997
        International: 763-315-6815
        Participant: 274372#  (ARIFSA#)

Attendance Record
	Legend:
		x = attended
		- = missed
		r = represented
		. = not yet a member
		v = valid voter (3 out of last 4 or 75% overall)
		n = not valid voter

n[--x] Faisal Haque (Cisco, Chairman)
v[xx-] Arif Samad (Synopsys - Co-chair)	
v[xx-] Surrendra Dudani (Synopsys)
v[xxx] John Havlicek (Freescale)
v[xxx] Joseph Lu (NVIDIA)
v[x--] Rishiyur Nikhil (Blue Spec)
v[xxx] Bassam Tabbara (Novas)
v[-xx] Manisha Kulshrestha (Mentor Graphics)
v[-x-] Hillel Miller (Freescale)
v[xxx] Eduard Cerny (Synopsys)
====|----------------------------- 09/29/04

Agenda:
-------

- Review IEEE working group rules
- Review of proposals, voting on 3 of them.

Minutes:
--------

1) Faisal recalled IEEE rules of conduct. All are aware of them and
agreed to proceed.

Reminder:
Deadlines:
09/01/04 - Closure of errata list
09/12/04 - Prioritized list of errata sent to P1800
12/01/04 - Closure of errata list forwarded to P1800.


2) Review of proposals:
-----------------------
179: Table of operator priorities appears to be usable. Issue of degenrate sequences - interpret and / or in the context that allows it. The position of not is suitable, above and / or and below sequence operators. To be voted on at the next meeting.

194: Agreement that ended should be allowed on multiclock sequences, provided that the intantiation context clock is the same as the last clock of the sequence. Flow of clock through matched into the seuqence not allowed - it is for multiclock sequences, clock flowing into it does not make sense. Flow of clock into the sequence through ended - after a discussion it was agreed that this is not necessary because the user can parameterize the sequence and provide the desired clock as an actual parameter when instantiating the sequence with ended. In this way it is also consistent with the treatment of clock flow into matched (not allowed). John will prepare a proposal.

195: Use of sequence.ended in disable iff - since ended is normally defined only in a context sampled by the specific clock edge, its truth/falsity cannot be determined throughout the entire simulation step. disable iff is asynchronous, hence if ended is part of more complex boolean expression it is not clear when to consider that expression valid. There is an alternative - use sequence.triggered which is a boolean valid troughout the simulation step. Surrendra and Ed are to prepare a proposal for clarification in the LRM.

Votes:

176, 177 and 178: Acceptance of proposals moved by John, seconded by Bassam. Accepted unanimously.

Votes on other simple issues that represent formatting or typographical errors shall proceed by email. Members should identify these issues to Faisal who will then initiate the email ballot.

4) Next meeting: Thursday, 10/14/04 at 9am PT
---------------------------------------------

5) Meeting adjourned at 10h05 am PT.
-----------------------------------