Minutes SV-AC 07/27/03
Written by: Stephen Meier

SVv3.1a Meetings:
	Every Monday 9AM
        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[x] Faisal Haque (Cisco, Chairman)
v[x] Steve Meier (Synopsys, Co-Chair)
v[-] Roy Armoni (Intel)
v[x] Surrendra Dudani (Synopsys)
v[-] Cindy Eisner (IBM)
v[x] John Havlicek (Motorola)
n[-] Richard Ho (0-in)
v[x] Adam Krolnik (LSI)
v[x] Joseph Lu (Sun)
v[r] Erich Marschner (Cadence)
n[-] Andrew Seawright (0-in)
v[x] Bassam Tabbara (Novas)
v[-] Tej Singh (Mentor)
n[-] Connie O'dell (Consultant)
==+------------------------- 07/27/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.Overview of v3.1a

Faisal introduced the effort for v3.1a as designed to stabilize and enhance SystemVerilog to be a complete HDVL.

SV-AC Milestones:
  	A. 28 July 2003 – Committees start operating
  	B. 11 August 2003 – Close of submission commitments
  	C. 15 September 2003 – Close of submissions
 	D. 1 December 2003 – Complete technology errata, freeze technology of 						submissions, close implementation feedback
 	E. 24 December 2003 – End of LRM development, start of LRM review
  	F. 24 January 2004 – Send to board
  	G. 24 February 2004 – Release 3.1a LRM

2. Review of Operating Guidelines

Steve walked through the SV-AC v3.1a operating guidelines which SV-AC will operate under for SVv3.1a effort and is consistent with other SV committees.

During discussion there was clarification of what was deemed sufficient as criteria of implementation.  Steve clarified that it is an implementation of a capability that is implemented and in use by some verification team.  It is not restricted to vendor implementations, and open to any implementation that has seen active usage on real design projects.

3. Enhancement List Review
	
Steve reviewed and edited proposed enhancement list for SVA, which plans to be reviewed and finalized at next weeks meeting.
	
Discussion:
- clarification between expect and wait.  They are the same, reduced to 1 requirement
- Joseph asked about parameter passing to assertions - should this be in SVAC A: Yes, added to 	the list
- Adam: sequence passing to module as paramter, added to list
	
Meeting Concluded