Minutes of IEEE P1800 SV-AC meeting #2006-22: 10/24/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

New PAR, presence record re-initialized on 8/22/2006:

n[---x-----] Faisal Haque (Cisco, Chairman)
v[xxxxxxx-x] Eduard Cerny (Synopsys - Co-chair)	
v[xxxxxxxxx] John Havlicek (Freescale)
v[xxxxxx-xx] Doron Bustan (Freescale)
v[--xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
v[xxxxxxxxx] Bassam Tabbara (Synopsys)
v[xxxxxx-x-] Hillel Miller (Freescale)
v[xxx-x---x] Surrendra Dudani (Synopsys)
n[xx-------] Yaniv Fais (Freescale)
v[xxxxx-xxx] Dmitry Korchemny (Intel)
v[xxxxxxxxx] Lisa Piper (Cadence)
v[--x-xx-x-] Jiang Long (Mentor)
n[-xxx-----] Don Mills (Microchip)
n[xxx------] Shalom Bresticker (Intel)
n[x-x------] Stu Sutherland (Sutherland HDL)
==|--------------------------------10/24/2006

Agenda:
-------

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

Minutes:
--------

1) #1550: Updated proposal enterd on Mantis. Call for email vote. 

2) #1549: Discussion continued regarding John's message (entitled
input, inout, output, sent Tue 10/17/2006 11:37 AM) outlining a
possible approach to defining local variable arguments to properties
and sequences.

Additional issues: Scoping rules to avoid naming conflicts. Currently
no scoping rules, but it may be preferable to define a local scope for
properties and sequences. Also, what should be the argument passing
modes associated with the different forms of formal argument declarations
in sequences and properties.  

John will integrate the partial ideas into a document.

4) New proposals: 1641, 1646, 1647, 1648. 

3) Presentation by Dmitry: file Modeling.ppt from Mantis #1530.


Next meeting: 

10/31/2006 at 9 am PT (12 pm ET, 4 pm UTC/GMT)

1/2h regular meeting, 1/2h presentation by Dmitry - continuation of
proposal for enhancements - Checkers.ppt.

====