Minutes of IEEE P1800 SV-AC meeting #2006-16: 09/05/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

New PAR, presence record re-initialized on 8/22/2006:

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

Agenda:
-------

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

Minutes:
--------
New LRM: submission to initial ballot on June 30, 2008.

1) #1532: Manisha will added reason for this change to the new
proposal and deleted the old one.  Email vote requested.

2) #1510: Email vote requested.

3) #1420: Email vote results: 4 yes, 0 no. 

4) #1549: Ready for vote as is. Email vote requested.  
John will enter a new erratum for parameters and for directionality of
arguments to properties and sequences.

5) #805: Long discussion that still needs to continue by
email. Summary of today's discussion:

- Remove any reference to vpi updates from #805. Add definitions of
attempt, succes, vacuous success, failure, disabled, killed, etc. to
Section 17.13 and then define how coverage behaves under different
situations. Add reference to system tasks $asserton / off /
kill. Define what counters should exist (few vs. many?)

- Create a new erratum to review and update Chapters 28 and 29 in
agreement with updated Section 17.13.

7) #1551: Discussion to be done / continue by email...


Next meetings: 

 09/19/2006 at 9 am PT (12 pm ET, 5 pm GMT): Regular meeting.

 09/26/2006 at 9 am PT (12 pm ET, 5 pm GMT): Continuation of
 presentation by Dmitry about SV enhancements in #1530.

====