[sv-ac] ballot result on 2250

Hi Folks:

Our e-mail ballot on 2250 passed.  There were friendly amendments.

See the results below.

J.H.

----------------------------------------------------------------------------------
Ballot on Mantis 2250

- Called on 2008-01-29, final ballots due by 2008-02-04 T 23:59-08:00.

yv[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
yv[-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
 v[xxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[-x-------------------------------------------------] Ah-Lam Lee (Qualcomm)
 n[--------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[-----------x------------x--xxx.....................] Joseph Lu (Altera)
 n[--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
 n[-----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
yv[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[x-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |--------------------------------------------------- attendance on 2008-01-29
 |----------------------------------------------------- voting eligibility for this ballot
|------------------------------------------------------ e-mail votes 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 a valid voter
                t = chair eligible to vote only to make or break a tie

----------------------------------------------------------------------------------
Friendly Amendments:

[LP]

1. Shouldn't "vpiImplies" and "vpiIff" be added to the list of
vpiOpTypes for a property?

2. Don't we need a "strong" and a "weak" operator for sequence
expressions?

3. For vpiNextOp, why are we giving a constant only if different than 1?
I know for arguments, the default value is returned when a specific
value is not provided. So perhaps we should return the default "1" when
none exists. This would also make it predictable that a constant will
always follow next.  (also, I think the terminology "returned" is better
than "given")


[YF]

I vote yes given that vpi codes for the operators "implies" and "iff"
would be added to sections M.2 and  36.45

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