Minutes SV-AC 04/22/03
Written by: Stephen Meier

Meeting to be scheduled as required.

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

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)

n[-----x--------------------] Ping Tseng (Axis)
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[x------------xxxxx........] Yaron Wolfsthal (IBM)
==||||||||||||||||||||||||||
==||||||||||||||||||||||||+- 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. Vote on SVA in SVv3.1

Vote ballot for SVA as it appears in Draft5 with Web based tracking of changes. Vote is 1 per Accellera member company.  Ballot is due by 5pm Pacific on Thursday 4/24.  Faisal will send
out specific email ballot. Faisal requested that all SV-AC members cast vote in order to track overall response and break tie if needed.

2. Review of Draft 5 Update

Change to immediate action block to allow null if clause.  Bassam would like to have assurance that it is clean semantics for scheduling.  This will get reviewed by scheduling working group to ensure there is not a significant issue.

Bassam asked why there was no immediate coverage statement.  He indicated non-symmetric in appearence to not have it for immediate.  The reason is that it is trivial to get coverage for immediates with either an if clause or using the actions block.  It was agreed beyond current scope.

Bassam commented that he is happy to see clocked_sequence restricting types of event control.

17.9 - System functions from v3.0.  Connie expressed concern with consistency and match to OVL for onehot functions.  She will summarize the difference in an email. Changes will only be considered in future version.

3. Pending Draft 6 Updates

Surrendra and John discussed proposed changed to immediate assertion scheduling evaluation.  The text will be updated to indicate that the evaluation of the action block occurs during the reactive phase.  There were no objections to this change.

4. List of Open Issues and Enhancement for future versions

open	- onehot system functions alignment with OVL
enhance - assume directive for concurrent assertion
enhance - assume that must hold for all times (assumed immediate)
enhance - assume alignment with testbench constraints
enhance - assume bias and distribution for constrained random distribution
enhance - local variables reference outside of assertion
enhance - template feature (should be passed to EC)
enhance - extend time windows to allow negative delays
enhance - allow additional temporal operators
	
Meeting Concluded