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

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

	Steve Meier is stepping down from role as SV-AC due to a change in his
	responsibilities at Synopsys.  Arif Samad (arif@synopsys.com)
	is the new Sv-AC co-chair and will assume Steve's responsibilities immediately.

2. Proposal Review

a. John nested implication and boolean connectives.

John:
	Indicates proposal is not yet fully complete.  The proposal contains three main
	aspects which free up restrictions on implication
	
	1st - nested implication
	2nd - boolean connectives
	3rd - remove restrictions on not

	Roy has questions concerning strong and weak booleans and the meaning of 
	negation.  (@c !b), is not equivalent to (not @c b).  John feels that if
	there is seperate syntax for boolean and formula negation then all the
	separate forms can be treated.  Roy would prefer to remove projection of
	negation.  John is open to change to change to immediate booleans,
	yet wants to ensure alignment with PSL, and thus would like to discuss 
	in PSL alignment comittee.

Adam:
	Proposal 1: sampling of values in action block

	Adam proposes to establish semantic that variable access is primary for
	sampled values, thus change default to sampled values.  Secondary purpose
	using the wait/event trigger.

	Steve asked if there is anyway to refer to ordinary (sim time) variable, Adam
	indicated there is no means for this yet.  Steve also asked clarification
	if the variable assignment assign sampled values, Adam indicated that all
	explicitly variable accesses.

	Surrendra indicated there would be challenges to implement as there could
	be challenge to distinguish sampled values from sim values.  As an example,
	Surrendra indicated that if there is an embedded delay then following
	statements would be sim value.

	Bassam suggested alternative of have a method to access variable values such
	as assert_name.get_val(a).  Adam is focussed on making the primary purpose
	easy to support.  Bassam would like to preserve current action block functionality,
	yet appreciates need for error reporting.

	Surrendra suggested evaluating two proposals 1) Adam's 2) Bassam/Surrendra with
	method.

	Proposal 2: error reporting in scope of interface

	Adam proposes to change the behavior of error reporting when mod_ports are
	used on interfaces.  The intent is to produce accurate error message which
	indicates the location of the assertion failure.

	Kaushik and Bassam indicated concern with more general cases of how to report
	error messages about where problems occur.  Adam countered that in general it
	is not feasible to isolate cause of errors, but that in specific cases when
	well defined the input source can be determined.

	Surrendra suggested alternative of allowing import of assertion.  Adam acknowleged,
	yet indicated that it only automates half the problem and puts burden on user
	to declare assertion.

3. Errata from 8/10/03

	Will conduct a informal vote by email, votes into SV-AC by Sunday 12noon.

	There will be five items as follows.

081003.AC1	Surrendra	Errata	throughout associativity, change to right
081003.AC2	Surrendra	Errata	unary ## should have the higher precedence than binary ##
081003.AC3	Surrendra	Errata	allow clocked sequences(including multi-clock) to be parenthesized
081003.AC4	Surrendra	Errata	language force parenthesis around the expression with local variable assignments
090803.AC1		John		Errata  8/31 email changes-recommended.pdf 

3. Agenda for next meeting

	Discuss vote results on errata
	Discuss all proposal submitted, in order of enhancements

Meeting Concluded