Minutes of IEEE P1800 SV-AC meeting #2006-2: 01/24/2006
Written by: Ed Cerny

Code for the conference call:

        Domestic: 888-635-9997
        International: 763-315-6815
        Participant: 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[xx] Faisal Haque (Cisco, Chairman)
v[xx] Eduard Cerny (Synopsys - Co-chair)	
v[xx] John Havlicek (Freescale)
v[xx] Doron Bustan (Freescale)
v[xx] Manisha Kulshrestha (Mentor Graphics)
 [xx] Volkan Esen (Infineon)v[-] Joseph Lu (NVIDIA)
v[-x] Bassam Tabbara (Novas)
v[-x] Hillel Miller (Freescale)
v[-x] Surrendra Dudani (Synopsys)
v[-x] Jospeh Lu (Altera)
 [-x] Yaniv Fais (Freescale)
===|---------------------------- 01/24/2006

Agenda:
-------

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


Minutes:
--------

Discussion on action items from meeting on 01/10/06:

1) Manisha entered on Manitis a proposal for issue #805 assertions and
cover properties disabled by a disable iff condition should be
reported differently than "success".  Small update required for vote
at the next meeting.  A new proposal for enhancement to be prepared
for providing a system task to detect what success caused the
execution of the action block.

2) John & Doron entered a draft proposal for a portion of the issue
#921. To be discussed by email and at the next meeting.

3) Ed verified the proposal for issue #928, vote by email before the
next meeting.

4) Faisal & Ed to verify what needs to be done for #966 - still in
progress

5) John made a draft document for #1296 regarding formal semantics in
the presence of clock flow rules. He presented the draft and it is now
open for discussion. John will start preparing an updated version of
Annex E based on this document.

6) Search for a University and a student to formulate SVA formal
semantics in a theorem prover and verify the consistency of the
semantics: Prof. E.M. Aboulhamid, U. de Montreal, indicated that he
may have an M.Sc. student to work on it.

Action Items:
-------------

1) Manisha to update the proposal for issue #805. Consider possible
proposal for system task that indicates the reason for executing
success action block.

2) All - vote by email on #928 

3) Faisal & Ed to verify what needs to be done for #966

Next meeting: 02/07/2006 at 9 am PT (12 pm ET, 6 pm Europe).