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

Agenda:
-------

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


Minutes:
--------

1) Karen provided information about what can / should not be
considered as changes to the LRM under the current PAR and when the
next PAR is likely to be approved.

2) Dmitry introduced Intel's proposal for enhancing SystemVerilog to
support checker development and more expressive assertions. All to
read and comment - the proposal is on Mantis under erratum #1530. We
should schedule one or more sessions for Dmitry to present the
proposal.

3) 1326 - proposal unanimously accepted. Resolved.

4)  928 - proposal unanimously accepted. Resolved.

5) 1392 - minor typo corrections required in the proposal. Once done,
the erratum will be resolved.

6) 1381 - proposal unanimously accepted. Resolved. 

7) 966 - last statement in the proposal should be changed to "cannot
be used as an operand in an expression". Need to resolve the issue of
a parameter type in Section 6.3.2.1. Should it be
- any integer type and $ is preserved in type conversions?
- an untyped parameter only?
- a paremeter of type int?
- other?
The exmaple should break the if statement into two: first to check for
$ using $isunbounded, and if this is not the case check for other
values in nested if statements.


Action items: All to discuss item 966 by email to come to a conclusion
by the next meeting.

Next meeting: 07/25/2006 at 9 am PT (12 pm ET, 5 pm GMT).

====