[sv-ac] ballot result for 1648

Hi Folks:

Our ballot on 1648 failed due to negative votes.

See the results below.

J.H.

----------------------------------------------------------------------------------
Ballot on Mantis 1648

- Called on 2007-10-29, final ballots due by 2007-11-05 T 23:59-08:00.

yv[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[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)
yv[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
nv[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)
yv[xxxxxxxxx..............................] Johan Martensson (Jasper)
 n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
nv[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[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 a valid voter
                t = chair eligible to vote only to make or break a tie

----------------------------------------------------------------------------------
Rationales for Negative Votes:

[MK]

I feel 1757 needs to align to this proposal in some places. Also, I do
not feel very comfortable with the usage of term "disable condition'
for the expression used in disable iff, accept_on and reject_on.
Semantically they produce different results so the expression should
also be called something different. I would prefer if disable
condition is used for disable iff and accept and reject conditions use
a different terminology.

The last word in the following sentence does not look correct.

However, if a nested module, interface, or program declaration itself
has a default disable declaration, then that default disable applies
within the nested declaration and overrides any default disable from
without.


[LP]

I also vote no for the reasons cited by Manisha.  In addition, in the
Syntax 14-3 and 14.12 the change is incomplete.  The "from" and "to" are
identical.

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