Subject: [sv-ac] Forward for Arif Samad - Minutes
From: Vassilios.Gerousis@Infineon.Com
Date: Mon Sep 22 2003 - 07:37:57 PDT
-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org]
Sent: Monday, September 22, 2003 3:44 PM
svac_091503.txt"
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
This archive was generated by hypermail 2b28 : Mon Sep 22 2003 - 07:38:48 PDT