Minutes SV-AC 08/25/03
Written by: Stephen Meier

SV-AC v3.1a Meetings:
	Every other Monday 9AM, next meeting September 8
        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[xxxx] Faisal Haque (Cisco, Chairman)
v[xxxx] Steve Meier (Synopsys, Co-Chair)
v[----] Roy Armoni (Intel)
v[xxxx] Surrendra Dudani (Synopsys)
v[----] Cindy Eisner (IBM)
v[xxxx] John Havlicek (Motorola)
n[----] Richard Ho (0-in)
v[x-xx] Adam Krolnik (LSI)
v[xxxx] Joseph Lu (Sun)
v[r--r] Erich Marschner (Cadence)
n[----] Andrew Seawright (0-in)
v[xxxx] Bassam Tabbara (Novas)
v[----] Tej Singh (Mentor)
n[x-x-] Connie O'dell (Consultant)
n[xxx-] Hillel Miller (Motorola)	
==|||+------------------------- 07/27/03
==||+-------------------------- 08/04/03
==|+----------------------------08/11/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. Enhancement List

Review of Committed Enhancement List.

Proposals are due by Sept. 15th, earlier is better.  Submissions can be in any
electronic format with Frame documents in LRM template the preferred format.

Surrendra: 
	assume directive - Will be similar to PSL assume directive. 

	variable diagnostic #6 - considering a function call ($sampled), which would also
	have optional parameter for a clock to distinguish.  Adam suggested that default
	value would be most recent sampling and then have a function to request prior
	sampled value.

	Adam suggested to consider if action_block could share the assertions scope.  
	Surrendra indicated that this would restrict access to non-sample values.

Joseph: 
	working on parameters to assertions, considering named and default parameters
	additionally considering passing sequence

	Question of how #7&8 differ ?  7 is a subset of 8 focussing on parameters to
	sequences, assertions.  8 is focussed soley on extension to module ports to allow
	passing of sequence to module.

John:
	On #4, local variable access.  John indicated that he is considering extension
	to allow assertion to access variable only immediately after sequence completes (ended).
	Adam added that he would like to access local variables in the action block for 			diagnostic report.  John is concerned on behavior/semantics when there are multiple 			events for single variable.  It is important to clarify behavior when multiple 				assertions complete and trigger action block - is there a 1-1 correspondance or many to 
	1.

	Bassam had a different idea for variable.  He would like to see a global variable which
	multiple assertions can write and read from.

	On #11, John is working on semantics and solving issue of handling negation.  Remove 			challenge by requiring that recursion graph is free of negations.  Need to resolve 			statically that there are finite # of instances.

Adam:
	Working on #16 to support #15.

2. BC/EC Enhancement/Proposal Status

Steve indicated that there is general enhancement for reaction to assertions within testbench.  Surrendra indicated that there are enhancements to extend the usage of the .ended inbuilt method to enable using the endpoint of sequence to trigger action in testbench.  Adam asked to clarify why the sequence name could not be used w/o ended method.  Surrendra indicated that the timing of action would be ambiquous without specific time.  Adam asked on scheduling, Surrendra indicated that the concept is that ended is available in the observed and reactive region.  Adam suggested additional enhancement to detect vacuous.  Surrendra indicated that there could be three termination values (vacuous, failed, success).

Adam suggested that local variable could potentially be accessed in similar fashion (i.e sequnce.local_var.  THe issue is still to determine canonical value for local variable.

Steve indicated that #20 is not on BC enhancement list and thus defaults to post v3.1a.

3. Agenda for next meeting

	Discuss any proposal submitted
	Vote to resolve errata from 8/10
	Discuss semantics errata to be submitted by John

Meeting Concluded