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

Agenda:
-------

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


Minutes:
--------

1) Proposals for Errata 508, 1346, 1347 unanimously approved;
resolved.

2) 1326 - discussion delayed until Manisha can participate.

3) 966 - Ed will draft a proposal, once agreed by SV-AC, send to other
SV committees.

4) 805 - Ask Manisha to incorporate comments expressed in emails into
her proposal. Comments are summarized in Ed's email on the result of
voting.

5) 928 - The extension of the type system to incorporate property and
sequence types should be a separate item, Lisa will enter it on
Mantis. Ed will update the current proposal to eliminate one more
redundant item and send it for vote by email.

6) 1361 - Bassam will provide a proposal for VPI changes, Dmitry will
provide proposal for clarification of the behavior of the existing
assertion control tasks.

7) 1381 - Doron will update his proposal to take into account small
corrections as noted by Bassam. Once completed, it will be put to vote
by email.

8) 1460 - Dmitry will provide a proposal to add full action blocks to
assume statements.

9) 1466 - not clear if it is an enhancement and how to fit this change
with BNF. How it affects range specifications in other contexts.

10) 1325 - a proposal was entered on Mantis on 5/20/2006. Vote by
email!

11) 1392 - This requires to make a proposal to add @ to the
example. As per minutes from 05/09/2006, Hillel is to write up a
proposal.

12) 1383 - Dmitry will update his proposal for cover property embedded
in procedural code.

13) From previous meeting:
  1420 - Doron and John will consider how to provide more precise
restrictions on arguments to recursive properties.
  Dmitry introduced the contents of his 2 emails detailing certain
issues with the restrictions on clock usage in clocking and always
blocks. These issues are to be discussed by email before the next
meeting.

Action items: see above items.

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

====