Minutes of IEEE P1800 SV-AC meeting #2006-14: 08/22/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:

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

Agenda:
-------

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


Minutes:
--------

1) #1495: resolved.

2) #1532: Straw vote 1 abstain, 0 no, 6 yes. Manisha will add reason
for this change to the proposal. Email vote will follow.

3) #1510: Straw vote 1 no, 6 yes. Proposal needs a small update
(Lisa). Email vote will follow.

4) #1420: Doron submitted and updated proposal, however, there is
still one example after Restriction 4 that needs to be corrected. The
corrected example should also show how to use a local variable to
store the current value of an argument to a recursive property for use
later in an expression argument in the recursive instance of the
property. Email vote will follw.

5) Lisa asked when a new version of the LRM will be issued. Ed will
try to find out.

6) #805: Bassam and Manisha will examine coverage counters and VPI
access methods for assert and cover properties. Update the proposal.

7) #1551: Discussion about the need for using sampled values in disable
iff. To be discussed by emails.

Next meetings: 

 08/29/2006 at 9 am PT (12 pm ET, 5 pm GMT): Presentation by Dmitry
 about #1530.

 09/05/2006 at 9 am PT (12 pm ET, 5 pm GMT): Regular meeting to deal
 with errata.

====