RE: [sv-ac] call to vote on 1682

I have noticed an inconsistency in the terminology. Sometimes the "next
value functions" are called "next value functions", sometimes "global
clocking future functions" and sometimes "global clocking future
sampled-value functions". Same inconsistency is for the "past
sampled-value functions".

I'm also not sure a statement as "The main reason for introducing the
next value functions is ..." is appropriate for LRM. Once the functions
are introduced, they stay in the language; the LRM should describe the
current state of the language, not explain the history of its creation.
The reader may be confused by what exactly "introducing" means.

--Yulik.

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Wednesday, October 24, 2007 2:51 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 1682

Hi Folks:

As we agreed in today's meeting, I am calling for a vote on 1682.

The documents are

  GlobalClockPastNextValueFunctions1682\ 071016_dk.doc
  GlobalClockPastNextValueFunctions1682\ 071016_dk.pdf

on Mantis.  These two should be identical from a technical perspective.

Please vote if you are eligible.  See the details below.

J.H.

------------------------------------------------------------------------
----------------
Ballot on Mantis 1682

- Called on 2007-10-23, final ballots due at 2007-10-30 T 23:59-07:00.

 v[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale -
Chair)
 v[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
Co-Chair)
 v[xxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor
Graphics)
 n[--------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[------------x--xxx.....................] Joseph Lu (Altera)
 v[xxxxxxxxx..............................] Johan Martensson (Jasper)
 n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |--------------------------------------- attendance on 2007-10-23
 |----------------------------------------- voting eligibility for this
ballot
|------------------------------------------ email ballots received

	Legend:
		x = attended
		- = missed
		r = represented
		. = not yet a member
		v = valid voter (2 out of last 3 or 3/4 overall)
		n = not valid voter
                t = chair eligible to vote only to make or break a tie

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.