Minutes of IEEE P1800 SV-AC meeting #5: 10/28/04
Written by: Ed Cerny

Next meeting: Thursday, 11/11/2004 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[--xxx] Faisal Haque (Cisco, Chairman)
v[xx-x-] Arif Samad (Synopsys - Co-chair)	
v[xx-xx] Surrendra Dudani (Synopsys)
v[xxxxx] John Havlicek (Freescale)
v[xxxx-] Joseph Lu (NVIDIA)
v[x----] Rishiyur Nikhil (Blue Spec)
v[xxxxx] Bassam Tabbara (Novas)
v[-xxxx] Manisha Kulshrestha (Mentor Graphics)
v[-x--x] Hillel Miller (Freescale)
v[---xx] Doron Bustan (Freescale)
v[xxxxx] Eduard Cerny (Synopsys)
======|---------------------------- 10/28/04

Agenda:
-------

- Review IEEE working group rules
- Review of issues, proposals; vote wherever resolved.

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:
-----------------------

190: Acceptance of posted resolution proposed by John, seconded by Surrendra: Unanimously accepted.
---

194: Clock determination in .ended and .matched on sequences. Proposal from John to be discussed at next meeting.
---

195: Use of sequence.ended in disable iff. More generally, what expressions are allowed in disable iff. The discussion led to a review of restrictions on expressions in assertions in Section 17.4. 
Faisal will introduce a new errata to modify Sections on immediate and concurrent assertions requiring a definition of accepted data types and expressions (affecting Sections 17.2 - 17.4). 
Ed will prepare a proposal defining valid expressions in disable iff.
---

196: Irregular expressions. Doron & John to provide a proposal.
---

230: Section 17.14 and Tables 17-4, 17-3 need readjustment. The correction of the examples as in the current proposal is not sufficient. Must also take into account clock flow. It appears that replacing the tables of various rules that are not general by extending the clock flow rules to include sequences as well as disable iff would provide a uniform framework for clock resolution. To be discussed further.
---

228: To be discussed in next meeting.
---

4) Email votes:
----------------

The following items were voted upon by email and accepted:

180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193 
88, 126 (with corrected typos), 128, 129, 130, 142 


5) Next meeting: Thursday, 11/11/04 at 9am PT
---------------------------------------------

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