Minutes SV-AC 09/15/03
Written by: Arif Samad

SV-AC v3.1a Meetings:
        Next meeting September 22
        Domestic: 888-635-9997
        International: 763-315-6815
        Participant: 959066#


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

v[xxxxx] Faisal Haque (Cisco, Chairman)
v[-xxxx] Steve Meier (Synopsys, Co-Chair)
n[-x---] Roy Armoni (Intel)
v[xxxxx] Surrendra Dudani (Synopsys)
n[-----] Cindy Eisner (IBM)
v[xxxxx] John Havlicek (Motorola)
n[-----] Richard Ho (0-in)
v[xx-x-] Adam Krolnik (LSI)
v[x-xxx] Joseph Lu (Sun)
v[-rr--] Erich Marschner (Cadence), rep by Kaushik Roy
n[-----] Andrew Seawright (0-in)
v[-xxxx] Bassam Tabbara (Novas)
n[-----] Tej Singh (Mentor)
n[--x-x] Connie O'dell (Consultant)
v[xxxxx] Hillel Miller (Motorola)
n[xx...] Arif Samad (Synopsys)	
==||||+------------------------- 08/04/03
==|||+-------------------------- 08/11/03
==||+--------------------------- 09/08/03
==|+---------------------------- 09/15/03

Historical Attendance from SV3.1 through 4/21/03

v[xxxxxxxxxxxxxxxxxxxx----x.] Faisal Haque (Cisco, Chairman)
v[xxxxxxxxxxxxxxxxxxxx-x-x-x] Steve Meier (Synopsys, Co-Chair)
v[xxxxxxx-xxxxxxxxxxx-xxx--x] Roy Armoni (Intel)
v[xxrxxxxxrxxxxxxx-x-xxxrxx.] Surrendra Dudani (Synopsys)
v[rxxxxxxxxxxxxxxxxxxxxxrxrx] Cindy Eisner (IBM)
v[xxxxxxxxxxxxxxxxxrxx-xxx..] John Havlicek (Motorola)
n[--xxx--xxrxxxxxx-xx-xxxxx.] Richard Ho (0-in)
v[-xxxxxx-xxxx-xxxxxxxxxxrx-] Adam Krolnik (LSI)
v[xxxxxxxxxxx-xxxxxxxxx---xx] Joseph Lu (Sun)
v[rxxxrx--xxxxxxxxxxxx--xxxx] Erich Marschner (Cadence)
v[-xxx-x-xxxrxxxx-x-xxxxxx-x] Andrew Seawright (0-in)
v[x-xxxxxxxxxxxxxxxxx-xrxxxx] Bassam Tabbara (Novas)
v[-xxxx-x-xxxxx.............] Tej Singh (Mentor)
n[x-x--xx-xxxx..............] Connie O'dell (Consultant)
n[---xx-x-xxx-x--xxx-x--xx-x] David Lacey (HP, OVL Chairman)
n[-x--x-xxxxx---x...........] Hillel Miller (Motorola)
n[-----xxxx.................] Kurt Shultz (Motorola)
==|||||||||||||||||||||||||
==||||||||||||||||||||||||+- 07/09/02
==|||||||||||||||||||||||+-- 07/25/02
==||||||||||||||||||||||+--- 08/01/02
==|||||||||||||||||||||+---- 08/08/02
==||||||||||||||||||||+----- 08/15/02
==|||||||||||||||||||+------ 08/22/02
==||||||||||||||||||+------- 09/05/02
==|||||||||||||||||+-------- 09/12/02
==||||||||||||||||+--------- 09/19/02
==|||||||||||||||+---------- 09/26/02
==||||||||||||||+----------- 10/03/02
==|||||||||||||+------------ 10/31/02
==||||||||||||+------------- 12/03/02
==|||||||||||+-------------- 01/23/03
==||||||||||+--------------- 01/30/03
==|||||||||+---------------- 02/06/03
==||||||||+----------------- 02/13/03
==|||||||+------------------ 02/20/03
==||||||+------------------- 02/25/03
==|||||+-------------------- 03/06/03
==||||+--------------------- 03/27/03
==|||+---------------------- 04/03/03
==||+----------------------- 04/08/03
==|+------------------------ 04/10/03
==+------------------------- 04/21/03

1. Errata Review

Proposals for 6 of 7 errata approved through unanimous e-mail vote.

081003.AC2 (unary ## should have the higher precedence than binary ##) was
not approved.

Discussion:

John - would like a proposal on exactly where it would go. Agrees upon moving it up
but needs to understand exactly where.

Surrendra - regardless of where we move there will be some cases that will be unintuitive.
Current proposal is to move it just below the comma level.

John - gave example of how moving it to the comma level could be a problem. But agrees
that with most positions there can be some example which is not intuitive.

John - how aligned is this proposal with PSL?

Surrendra - fairly aligned. Eric will come up with a table.

John - should be flexible about reconsidering precedence definition. Align it with PSL or
just review it to make sure we are happy with the precedence.

Faisal - Should keep alignment in mind. ## vs ; - what has PSL done?

John - under discussion.

Surrendra - look at table once Eric comes out with.

Adam - don't see it as a binary operator. See it mostly as a unary operator. See it as
a unary operator that acts before the next operand.

Surrendra - agree with John that should review the entire precedence once PSL comes
out with a table.

John - from a mathematical point of view want both unary and binary operators.

What's the date for PSL precedence table?

Surrendra - mid-October is what he heard.

Not approved. Revisit when PSL document is available.


2. Proposal Review

Surrendra said he would submit his proposal today (9/15).
It was noted that we should look at Arturo's proposal for SV-EC also.

John, Adam and Joseph presented their proposals and these were
discussed by the team. Unfortunately, because of a fire alarm I was
not able to capture the details of this discussion.

3. Agenda for next meeting - 9/22 9am PST

	Discuss Surrendra's proposals

Meeting Concluded