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

SV-AC v3.1a Meetings:
        Next meeting October 20 9am PST

Note: new number:

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[xxxx] Faisal Haque (Cisco, Chairman)
v[xxxx] Arif Samad (Synopsys - Co-chair)	
v[xxx-] Roy Armoni (Intel)
v[xxxx] Surrendra Dudani (Synopsys)
n[----] Cindy Eisner (IBM)
v[xxxx] John Havlicek (Motorola)
n[----] Richard Ho (0-in)
v[-xxx] Adam Krolnik (LSI)
v[xxxx] Joseph Lu (Sun)
n[-x--] Rishiyur Nikhil (Blue Spec)
v[x-x-] Koushik Roy (Cadence)
n[----] Andrew Seawright (0-in)
n[x---] Bassam Tabbara (Novas)
n[----] Tej Singh (Mentor)
n[x-x-] Connie O'dell (Consultant)
v[xxxx] Hillel Miller (Motorola)
==||||+------------------------- 09/15/03
==|||+-------------------------- 09/22/03
==||+--------------------------- 09/29/03
==|+---------------------------- 10/13/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) Action Items
* John: remove section on special treatment of negated booleans
        from current proposal and submit separately.

* John: decide whether he wants to break up his proposal to
        separate discussion of nested implications and
        boolean connectives.

* Arif: mark reviewed proposal with a different color in
  table on sv-ac web pages

* Surrendra: write up what the issue with static checking
  of new restriction on John's proposal for extension 4
  might be (see discussion below).


2) Minutes

* Arif described new SV-AC pages. Members using Netscape faced
  some problems. Internet Explorer works ok. Arif will work
  on correcting these issues.

* Following SV technical committee operating rules the proposals subnmitted to
  SV-AC were formally accepted for consideration by the SVAC.

  All present voted in favor.

* Committee reviewed schedule for reviewing extension submission.
  Since Adam Krolnik was not present, committee decided to review
  John Havlicek's submissions.

* John requested that he be allowed to separate the information
  regarding special  treatment of negated booleans from the rest
  of his proposal. There were no objections to the committee
  to this request.

* Discussion on John's proposal titled "Nested Implications and
  Boolean Property Connectives" - extensions 10 and 12. 

Surrendra - concerned that people could be confused that they
could use sequences and properties anywhere. 
Suggested having explicit conversion of sequence to
property.

John - could see that there could be confusion with a complex
expression but don't see that a casting operator would be
much better than good formatting.

Also, even if we were combining two sequences the semantics
would be the same.

Connie - would skip the casting...

John: other concerns? Abort?

How about nesting aborts?

Surrendra: allow aborts in front of any property.

John: thinks PSL allows you to do it.

Connie: thinks this would help.

Arif pointed out to John that his proposal covered
extensions 10 and 12 and asked whether he wanted
them together to separate.

John said that boolean connectives were more useful
with nesting (see action item).


* Discussion on John's Proposal titled "Accessing and
  Sampling Local Variables" - Extension 4.

John went over his proposal for relaxing the restriction on
passing local variables to sequence instances to which "ended"
or "matched" is applied. He also described a new restriction.

Bassam: should compiler be able to check restriction statically?

John: Yes. Only do check when using ended.

John: asked Hillel if this would be tough to check this statically?

Hillel: yes.

Surrendra offered to write up issues with static checking.

Surrendra: local variables must have parentheses. Could reevaluate this?

John: was expecting that there would be parentheses.

Surrendra: will run it by the parser people.

3) Next Meeting

* Finish reviewing John's proposals
* Start reviewing Adam's proposals.