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

Agenda:
-------

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


Minutes:
--------

Discussion on action items from meeting on 02/28/06:

1) Discussion regarding how to define the semantics cover properties,
the effect of diable iff, inference of conditions, control over
execution of action block. It appears that it all depends on how cover
properties are defined and as discussed in item #1383. Therefore, the
final proposals and votes for #805, #1361 and #1383 are postponed
until there is a resolution on the cover property and disable iff
handling.

2) #928: Hillel provied a proposal for the list of formal
arguments. Doron is to review for compatibility with the rules for
argument passing to recursive properties.

3) #966: DIscussion withih SV-BC is continuing with no clear proposal
available as of yet.

4) #1296: Bassam changed bug ID priority to low, awaiting further
discussions.

5) #921: Doron sent some more examples. All to review...

6) #1325: discussion around not allowing unnamed blocks with
properties. No resolution, though.

7) #1326: No semantics for boolean_abbrev with sequence match
item. John filed a proposal to disallow boolean_abbrev with sequence
match item. ALl should review and discuss whether an explanatory note
should be included in the LRM to warn users that such expressions are
not allowed and what the proper form can be.

8) #1346: Proposal was filed. Vote by email by 3/17/2006.
 
9)#1347: No new progress

10) Status of merge of 1364 and P1800 - no official comment available.
LRMs

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

1) All - vote by email on #1346 by 03/17/2006.

2) All - analyze, discuss #1383, #805 and #1361. These will be the
main agenda item for the next meeting.


Next meeting: 03/28/2006 at 9 am PT (12 pm ET, 6 pm Europe).
====