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

Agenda:
-------

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

Minutes:
--------

1) #1641: Discussion about the use of error tasks in different
contexts: 

- when encapsulated in a task and called from the action block, should
it use the declarative context of the task and thus not have access to
information from the assertion (file name, line number, etc.), or
should it behave as if called directly from the action block.

- should it behave as a task or should it be a boolean function that
always returns 1'b1, in which case it could also be called as an
expression, e.g., as part of a boolean expression in a property?

- what should happen if it is called from a sequence match item and
there are multiple threads of the same evaluation attempt that reach a
similar point at the same time but call a contradicting error task?

- should it execute immediately or be scheduled in the reactive
region? If used as an expression, the bool value should be available
when called, but could the actual message be issued in reactive
region?

- how to access the start time of the eval. attempt, file name, line
number, etc., if passed as an argument (embedded in a format string)?

2) Presentation by Dmitry, from Mantis #1530, file Checkers.ppt.

3) We are currently filing new errata and spreading our attention
simultaneously over many of them, without converging on any. It is
thus proposed that before the next meeting (in 2 weeks) everybody will
send to Ed a list of 5 issues that should be processed first. He will
sort them in a decreasing number of requests. We shall then process
them in that order and drive them to a conclusion before addressing
another item (unless there is dependency.) 

In the selection of the 5 items, take into account the chance of a
successful conclusion and user needs.


Next meetings: 

11/7/2006 at 9 am PT (12 pm ET, 5 pm UTC/GMT) Presentation by Dmitry -
continuation of proposal for enhancements.

11/14/2006 at 9 am PT (12 pm ET, 5 pm UTC/GMT) Regular meeting to deal
with errata, following the order as mentioned above under item (3).


====