Minutes of IEEE P1800 SV-AC meeting #9: 02/02/2005
Written by: Ed Cerny

Next meetings: When needed, one week notice.
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[--xxxx---x] Faisal Haque (Cisco, Chairman)
v[xx-x-xxxxx] Arif Samad (Synopsys - Co-chair)	
v[xx-xxxx-xx] Surrendra Dudani (Synopsys)
v[xxxxxxxxxx] John Havlicek (Freescale)
v[xxxx-xx--x] Joseph Lu (NVIDIA)
v[x---------] Rishiyur Nikhil (Blue Spec)
v[-----xx---] Don Baltus (BlueSpec)
v[xxxxxxxxxx] Bassam Tabbara (Novas)
v[-xxxxxxxxx] Manisha Kulshrestha (Mentor Graphics)
v[-x--xxxx--] Hillel Miller (Freescale)
v[---xxxxxxx] Doron Bustan (Freescale)
v[xxxxxxxx-x] Eduard Cerny (Synopsys)
===========|---------------------------- 02/02/05

Agenda:
-------

- Review IEEE working group rules
- Review proposals, vote

Minutes:
--------

1) Arif recalled IEEE rules of conduct. All were aware of them and
agreed to proceed.

Reminder: This is the last meeting and errata processing before P1800 vote.
 
2) Errata and proposals filed by Surrendra. They are ready for vote with minor changes as indicated:

   358: replace "until" by "up to and including".

   359: add that it can also appear in a sequence. 

   360: OK

   361: remove clocking terms clk1 from s1, clk2 from s2 and 
	remove Example 5 altogether.

   362: OK

   363: OK

   364: also, change ## to ##1 on page 288 and 
	in Appendix H.2.1 on pp607 in Abstract grammar for clocked sequences: 
        S ##1 S.

   365: indent the "else" statement.

Approval vote moved by Surrendra, seconded by Arif. Unanimously approved subject to the above minor changes in the proposals.


3) Erratum 196, proposal:

   pp233, 17.6.1, in sequence foo definition: add a ";" at the end of the sequence expression, and move "8" to inside the square brackets indicating sequence repetition.

   pp227, Fig. 17-2; pp231, Fig 17-4, pp523 (BNF) - remove definitions of "actual_arg_list" which has now become redundant.

Vote moved by Arif, seconded by Surrendra: Unanimously approved.

4) Editorial issues:

   - multiply clocked vs. multi-clock : leave as is for now.

   - which vs. that : leave as is for now.

5) Potential issues to be considered later:

   - indicate that clock flow rules must be applied first and 
     only then the operator rewrite rules in Appendix H.

   - rewrite rule S ##1 S - does it have to include S ##0 S? 

5) Any next meeting will be on "as needed" basis,
   preferably with a one-week notice.