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

I vote yes in 1549 with the following friendly amendments:

1549_new_types_14.pdf:

* Page 3. It is written: "Argument passing is done by substitution
(refer to the section on formal semantics Refer to [Note to Editor - I
think this is F.2.3]".

Should be:

"Argument passing is done by substitution (refer to [Note to Editor - I
think this is F.2.3])".

Note also the closing parenthesis.

* Page 4 & 6. The fonts of the keywords sequence and property need to b
fixed

* Page 4. I don't think it is a good style to use `define directive in
this example. When we have let statement, it can be used here. For now I
would use literal constants.

Dmitry


-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Monday, August 13, 2007 4:22 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] call to vote on 1549

All:

This is the call to vote on the proposal for Mantis 1549.

The proposal consists of two documents:

  1549_new_types_14.pdf
  formal_semantics_arguments_passing.2007-08-06.pdf

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

J.H.

------------------------------------------------------------------------
--

Ballot on Mantis 1549

- Called on 2007-08-13, final ballots due by 23:59 PDT on 2007-08-20.

 v[xx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)	
 n[---x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
 v[xxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
 n[-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[-----------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[---x--xxx.....................] Joseph Lu (Altera)
 n[--------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[xxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[xx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[xxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |------------------------------ attendance on 2007-08-07
 |-------------------------------- 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.

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