Minutes of IEEE P1800 SV-AC meeting #2006-1: 01/10/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[x] 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)
v[x] Volkan Esen (Infineon)v[-] Joseph Lu (NVIDIA)
v[-] Bassam Tabbara (Novas)
v[-] Hillel Miller (Freescale)
v[-] Surrendra Dudani (Synopsys)
==|---------------------------- 01/10/2006

Agenda:
-------

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


Minutes:
--------

#805: assertions and cover properties disabled by a disable iff
condition should be reported differently than "success". Possibly a
new name, e.g., "disabled".

#921: Semantics of task calls in sequences should be defined. There
are "lazy" and "early" interpretations possible. The "lazy" form based
on independent threads is simpler to specify. This is needed to
guarantee same execution on different simulators. Needs further
discussion.

#928: This is a minor correction in the LRM text.

#966: Definition of the returned type and the argument kind for
$isunbounded needs to be specified. Probably cross-referencing with
existing text.

#1296: Fromal semantics of multiclock properties need to be
defined. They must follow the new clock flow rules. Order of rewrite
rules for clock flow, derived op's, and clock rewriting to unclocked
properties must be specified. Needs further discussion.


Action Items:
-------------
1) Manisha to send the final written proposal for issue #805
2) John & Doron a discussion paper for item #921
3) Ed verify and make proposal for #928
4) Faisal & Ed to verify what needs to be done for #966
5) John & Doron to make a draft document for #1296
6) All - search for a University and a student to formulate SVA 
   formal semantics in a theorem prover and verify the consistency 
   of the semantics.

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