Minutes of IEEE P1800 SV-AC meeting #2006-21: 10/17/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[xxxxxx-x] Eduard Cerny (Synopsys - Co-chair)	
v[xxxxxxxx] John Havlicek (Freescale)
v[xxxxx-xx] Doron Bustan (Freescale)
v[-xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
v[xxxxxxxx] Bassam Tabbara (Synopsys)
v[xxxxx-x-] Hillel Miller (Freescale)
v[xx-x---x] Surrendra Dudani (Synopsys)
n[x-------] Yaniv Fais (Freescale)
v[xxxx-xxx] Dmitry Korchemny (Intel)
v[xxxxxxxx] Lisa Piper (Cadence)
v[-x-xx-x-] Jiang Long (Mentor)
n[xxx-----] Don Mills (Microchip)
n[xx------] Shalom Bresticker (Intel)
n[-x------] Stu Sutherland (Sutherland HDL)
==|--------------------------------10/17/2006

Agenda:
-------

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

Minutes:
--------

1) #1550: Ed deposited a draft proposal. It preserves the dual form of
the $sampled function. However, it is difficult to define the behavior
of the clocked version in a suitable way. 

The question is whether we can change the syntax to disallow the
clocked version and keep only the unclocked one.

Some minor changes are also needed in the text to define more clearly
the value of the function (and other sampled-value functions) if they
depend on values at time < 0.

2) #1549: Diiscussion turned around 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. It introduces the qualifier "local" and also the argument
direction as input, output and inout. The ideas need furher
discussions to see if the passing by value is sufficient or if the
current form by substitution needs to be preserved / enhanced.

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

Discussion after the presentation:

- The semantics with local variables could be defined by mapping LTL
to current form based on property operators and recursion (extended to
define finiteness requirement) or define the semantics as in PSL but
extended for local variables.

- Syntax and keywords need to be defined.

- Should the full extent of PSL LTL including many derived operators
be incorporated or only the more basic operators?

- This enhancement is completely under the jurisdiction of SV-AC and
could proceed relatively quickly since the issues are well known and
parts of the needed text may be available.


Next meeting: 

10/24/2006 at 9 am PT (12 pm ET, 4 pm UTC/GMT): Discussion on 1550,
1551, 1549, etc.

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

====