Minutes SV-AC 03/20/03
Written by: Stephen Meier

ATTN: Next SV-AC Meeting Th March 13th 9:30-10:30AM PST 
	Dial-In = 888-830-6260
	Intl: 1-505-242-2420
	PartID = 908704

Legend:
	x = attended
	- = missed
	r = represented
	. = not yet a member
	v = valid voter (3 out of last 4)
	n = not valid voter

v[xxxxxxxxxxxxxxx----x.] Faisal Haque (Cisco, Chairman)
v[xxxxxxxxxxxxxxx-x-x-x] Steve Meier (Synopsys, Co-Chair)
v[xx-xxxxxxxxxxx-xxx--x] Roy Armoni (Intel)
v[xxxrxxxxxxx-x-xxxrxx.] Surrendra Dudani (Synopsys)
v[xxxxxxxxxxxxxxxxxrxrx] Cindy Eisner (IBM)
v[xxxxxxxxxxxxrxx-xxx..] John Havlicek (Motorola)
v[--xxrxxxxxx-xx-xxxxx.] Richard Ho (0-in)
v[xx-xxxx-xxxxxxxxxxrx-] Adam Krolnik (LSI)
v[xxxxxx-xxxxxxxxx---xx] Joseph Lu (Sun)
n[x--xxxxxxxxxxxx--xxxx] Erich Marschner (Cadence)
v[x-xxxrxxxx-x-xxxxxx-x] Andrew Seawright (0-in)
v[xxxxxxxxxxxxxx-xrxxxx] Bassam Tabbara (Novas)
v[-x-xxxxx.............] Tej Singh (Mentor)
v[xx-xxxx..............] Connie O'dell (Consultant)
n[-x-xxx-x--xxx-x--xx-x] David Lacey (HP, OVL Chairman)
v[-xxxxx---x...........] Hillel Miller (Motorola)
v[xxxx.................] Kurt Shultz (Motorola)

n[---xxxx-x-xxxxx-xxxx-] Prakash Narain (Real Intent)
n[-----xx-xxx-rx-xxxrrx] Harry Foster (Verplex)
n[------xx-----xxxxxxx.] Ambar Sarkar (Paradigm Works)
n[--------xxxxx........] Yaron Wolfsthal (IBM)
n[-------x.............] Glenn Wesley (Consultant)
n[---------xxx-xxxxxxxx] Gail Dagan (Intel)
n[----------xxxxxxxxxx-] Rajeev Ranjan (Real Intent)
n[-----------x.........] Sagi Katz (Gallileo)
n[----------xxxx-x-x...] Richard Stolzman (Verplex)
n[---------xxx-xxxxxxrx] Tom Fitzpatrick (Synopsys)
n[---------x--x-x-x--xr] Tom Anderson (0-in)
n[--------------------x] Jason Andrews (Axis)
==|||||||||||||||||||||
==||||||||||||||||||||+- 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

1. Discussion to Resolve Issues

Item 5: Local Variables

John updated on his most recent proposal which expands the scope of local variables to allow sequences with OR operators if the variable is declared before the operator occurs.  Cindy indicated that she is willing to withdraw her proposal so that there is single proposal (John's) for which to ballot as item 5a.

Item5b: Local variables from sub-sequences

There was discussion about reference to variables within subsequences.  There was concern that if all variables from subsequences are available in scope where they are instantiated then there could be problems with conflict of variable names.  John suggested that it might be better if variables were exported intentionally.  It was agreed that John and Surrendra will develop proposal which will provide for variables to be passed in/out of subsequences as parameters.

Item 14: Syntax update - Steve updated that DWG has discussed and agreed on syntax to remove nested clocks and waiting on syntax group to present resolution.

Item 15: multiple clock support 

There is proposal from John that is unanimously supported by the semantics group.  There are two forms of multiple clock operators.  For sequences, the only operator is sequence concatenation.  For implication the two sides can be sequences of different clocks.  John indicated that the semantic is a slight modification from OVA's semantics in that the simultaneous occurence of endpoint of matched operator is not supported.  It was summarized that the semantics of multiple clocks can be mapped onto PSL and is a proper subset of PSL functionality.

Item 16: always not allowed in procedural context

Surrendra updated that the syntax group is looking at modifications to the assertion declaration that do not have always and initial in procedural context and put restrictions on declaration to be similar to declaration of tasks and functions.  We will wait for outcome of syntax group.
  
Item 17: allow negation of rhs of sequence declaration

Steve updated that Roy made this proposal in order to be able to easily express certain safety properties that would be otherwise hard to express.  Roy indicated that there are certain properties in which the rhs negation with a strong clock is needed to express liveness.  It was decided that issue would be voted on ballot.

Item 18: Clarification on templates

Steve updated that the syntax group is looking into revising syntax for templates and clarification will be based on syntax group outcome.

Item 19: Addition of explicit operator for next event

Adam asked if the nonconsecutive repetition ( *=) provided the same functionality.  Surrendra indicated that it does.  With this fact it was agreed to withdraw this item based on fact that there is no justification to have two ways to express same thing.

Item 20: Matched operator

There was discussion of semantics of matched operator.  It was described as a latch of endpoint of sequence that is matched until occurence of next cycle of sequence that is looking for the match.

Cindy asked questions about how matched is different than multi-clock concatenation.  John explained that matched only triggers at success of the sequence and does not say anything about startpoint.  With matched the start of sequence could occur at any point prior to the point in sequence where matched occurs.  Surrendra agreed to send a couple examples of matched usage.

2.0 Balloting on issues

	A sample ballot will be sent out by Steve by 12 Midnight 3/20.
	Review comments are due in by Sunday 3/23.
	Ballot votes are due by Monday 3/24 12noon.

Meeting Concluded