Minutes of IEEE P1800 SV-AC meeting #2006-7: 04/11/2006
Written by: Ed Cerny

Code for the conference call:

        Domestic:         888-635-9997
        International:    763-315-6815
        Participant code: 2638198

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

n[xxx-x-x] Faisal Haque (Cisco, Chairman)
v[xxx-xxx] Eduard Cerny (Synopsys - Co-chair)	
v[xxxxxxx] John Havlicek (Freescale)
v[xxxxxxx] Doron Bustan (Freescale)
v[xxxxxxx] Manisha Kulshrestha (Mentor Graphics)
v[xxx---x] Volkan Esen (Infineon)
v[-xxx-xx] Bassam Tabbara (Synopsys)
v[-xxxx-x] Hillel Miller (Freescale)
v[-x--xxx] Surrendra Dudani (Synopsys)
v[-xxxx-x] Joseph Lu (Altera)
 [.x-x---] Yaniv Fais (Freescale)
v[..xxxxx] Dmitry Korchemny (Intel)
 [....xxx] Lisa Piper (Cadence)
========|---------------------------- 04/11/2006

Agenda:
-------

- Review IEEE working group rules
- Review errata reported in Mantis


Minutes:
--------

1) Ed sent out a list of discussion points / questions asking people
to reply with their thoughts. Ed collated the received responses and
distributed to all.

2) Discussion revolved around the definition of vacuity (one of the
points on the list in (1)). Doron and John deposited to Mantis (item
#1381) a text outlining a possible definition. Dmitry expressed the
need for a more detailed and varied definition of vacuity that would
be suitable for formal tools where per-attempt vacuity definition may
not be practical and sufficient. On the other hand, a simpler
definition on a per-attempt basis is needed to define the conditions
under which action blocks on assert and cover property statements
should execute. The dilemma was resolved by:

- Deciding that the D&J definition would be cast as "per-attempt
vacuity" primarily for use in simulation and for defining the
conditions under which the execution of action blocks should take
place.

- Later a more detailed definition of vacuity destined for formal
tools will be developed.

Action items before the next meeting:
------------------------------------ 

1) Doron and John will draft a proposal on per-attempt vacuity to
resolve #1381.

2) Following Ed's email mentioned in (1), all should continue adding
thoughts on the items there (or other items!) so that we may arrive at
an agreement on some of the points before the next meeting.


Next meeting: 04/25/2006 at 9 am PT (12 pm ET, 6 pm Europe).
(NOTE: Ed will not be able to attend, Bassam will take the minutes.)

====