[sv-ac] SV-AC meeting minutes, 2006-11-28

All:

Please find the meeting minutes attached.

J.H.

Minutes of IEEE P1800 SV-AC meeting #2006-26: 2006-11-28
Written by: Ed Cerny and John Havlicek

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 (2 out of last 3)
		n = not valid voter

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

nn[----xxx------] Shalom Bresticker (Intel)
vv[xxxxxxxxxx-xx] Doron Bustan (Freescale)
vv[xxxxxxxxxxx-x] Eduard Cerny (Synopsys - Co-Chair, resigned)	
vn[x-x-xxx-x---x] Surrendra Dudani (Synopsys)
vv[xx-xxx-------] Yaniv Fais (Freescale)
nn[x------x-----] Faisal Haque (Cisco - Chair, resigned)
vv[xxxxxxxxxxxxx] John Havlicek (Freescale - new provisional Chair)
vv[xxxxxxxxx-xxx] Dmitry Korchemny (Intel - new provisional Co-Chair)
nn[------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
nn[------x-xx-x-] Jiang Long (Mentor)
vv[xx-xxxxxxx-x-] Hillel Miller (Freescale)
nv[--xx-xxx-----] Don Mills (Microchip)
vv[xxx-xxxxxxxxx] Lisa Piper (Cadence)
vv[-xx----------] Tej Singh (Mentor Graphics)
nn[---xx-x------] Stu Sutherland (Sutherland HDL)
vv[xxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
   |-------------- attendance on 2006-11-28
 |---------------- voting eligibility on 2006-11-28
|----------------- new voting eligibility

Agenda:
-------

- Review IEEE working group rules
- Resignations, nominations, vote for new Chair / Co-Chair
- Review errata reported in Mantis

Minutes:
--------

1) Faisal resigned from the position of the chair of SV-AC. Ed
   resigned from the position of the co-chair and nominated John Havlicek 
   for the chair and Dmitry Korchemny for the co-chair. No other nomination 
   was presented. Bassam moved to vote on the nomination.

   Result of vote:
     2 abstention/ineligible, 8 for, 0 against.  Carried.  

   These provisional appointments are to be reviewed and ratified by P1800.

   John took over as the chair of the committee and the meeting.


2) Hillel asked that proposals be sent in attachments to email for
   convenience.  The official proposals are still the ones posted on
   mantis.


3) #1550 - There is still an issue about the equivalence of a
   synthesizable RTL representation of $past and the definition where
   the value of $past is updated in the postponed region.

   AI:  Doron will provide an example illustrating the difference (at clock
   tick boundary).
   
   AI:  Ed will provide a definition that uses different scheduling of the
   evaluation if $past is called from the active region and the recative
   region.

4) #1567 - Ready for email vote.

5) #1543 - Ready for email vote.


Next meetings: 

2006-12-12 at 9 am PT (12 pm ET, 5 pm UTC/GMT) Regular meeting to deal
with errata, following the order of preference...


====