Minutes of IEEE P1800 SV-AC meeting #2006-12: 07/25/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-xx--] Faisal Haque (Cisco, Chairman)
v[xxx-xxxxxxxx] Eduard Cerny (Synopsys - Co-chair)	
v[xxxxxxx--xxx] John Havlicek (Freescale)
v[xxxxxxxxxxxx] Doron Bustan (Freescale)
v[xxxxxxxx-xxx] Manisha Kulshrestha (Mentor Graphics)
v[xxx---x-xx-x] Volkan Esen (Infineon)
v[-xxx-xxxxxx-] Bassam Tabbara (Synopsys)
v[-xxxx-xx-xx-] Hillel Miller (Freescale)
v[-x--xxxxxx-x] Surrendra Dudani (Synopsys)
v[-xxxx-xx----] Joseph Lu (Altera)
 [.x-x------x-] Yaniv Fais (Freescale)
v[..xxxxxxxxxx] Dmitry Korchemny (Intel)
 [....xxxxxxxx] Lisa Piper (Cadence)
=============|--------------------------07/25/2006

Agenda:
-------

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


Minutes:
--------

1) #1518: voted by email (6 yes, 0 no) and resolved.

2) #966: please read the modified proposal on Mantis, discussion
by email.

3) #1510: Manisha will write up a proposal, to follow the syntax of
A6.3. Also, modify the description to say that when null statement is used
with the else clause, it has the same behavior as when the else clause
is missing entirely.

4) #805: There may be missing something about disabled assertions in
ANnex E. Doron will check and update the proposal if needed.

5) Dmitry identified a problem with using current values in disable
iff rather than sampled values. He will create a new Mantis item.

6) #1495: Doron will write up a proposal. 

7) #1420: Doron will check the orignal correction and make a proposal.

8) #1532: Remove @sequence_instance from event_control to take care of
sequences with arguments. Manisha will write up a proposal.


Action items: All - read 966 proposal. Manisha and Doron - proposals.

Next meeting: 08/01/2006 at 9 am PT (12 pm ET, 5 pm GMT).

NOTE : The meeting is in a week rather than 2 weeks to accommodate
conferences and vacations.

====