Minutes SV-AC 11/10/03
Written by: Arif Samad

SV-AC v3.1a Meetings:
Next meeting November 17 9am PST

code for the conference call:

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

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[xxx-x] Arif Samad (Synopsys - Co-chair)	
v[--xxx] Roy Armoni (Intel)
v[-xxxx] Surrendra Dudani (Synopsys)
n[-----] Cindy Eisner (IBM)
v[xxxxx] John Havlicek (Motorola)
n[-----] Richard Ho (0-in)
v[xxxx-] Adam Krolnik (LSI)
v[xxxxx] Joseph Lu (Sun)
n[-----] Rishiyur Nikhil (Blue Spec)
v[-xx-x] Koushik Roy (Cadence)
n[-----] Andrew Seawright (0-in)
v[x-xxx] Bassam Tabbara (Novas)
n[-----] Tej Singh (Mentor)
n[----x] Connie O'dell (Consultant)
v[-xx-x] Hillel Miller (Motorola)
==||||+-------------------------- 10/13/03
==|||+--------------------------- 10/20/03
==||+---------------------------- 10/27/03
==|+----------------------------- 11/03/03
==+------------------------------ 11/10/03

1) Minutes
----------
Discussed John's Proposals:

Negated Booleans
----------------
John presented his proposal. No comments.

Generalized Implication
-----------------------
John presented proposal.

Faisal - need to review carefully.
John - advise use property negation with caution.

Property conjunction
--------------------
No comments

Property disjunction
--------------------
No comments

Property If Else
----------------
Adam - does this add something over just having
       separate implications?

Faisal - can have multiple property in antecedant?

John - combine using "and"

Property Instances
------------------
No comments

Property Negation
-----------------
No comments

Clock Flow
----------
No comments

Sampling local variables
------------------------
No comments

Accessing local variables
-------------------------
Bassam: brings back the discussion of putting
types of formal parameters...

John: agrees. Has heard the argument that these
things should be fast and loose. On the other hand,
when I read the formal arguments, like to know what
kind of beasts these are.

John: it is strange to look inside the body of a property
to see if variable is sampled to know that it is a
local variable.

Adam: one issue that we have that cannot define property
in an interface.

2) Next Meeting
---------------
- Review remaining proposals.