[sv-ac] ballot result for 2005

Hi Folks:

2005 failed our e-mail vote due to negative vote.  See the 
results below.

J.H.

----------------------------------------------------------------------------------
Ballot on Mantis 2005

- Called on 2007-12-18, final ballots due by 2007-12-24 T 23:59-08:00.

yv[xxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[xxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[--------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
nv[xxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[----------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[-------x------------x--xxx.....................] Joseph Lu (Altera)
 v[xxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
 n[-------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
yv[xxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
yv[xxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[-----x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[xxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
yv[xxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)
   |----------------------------------------------- attendance on 2007-12-18
 |------------------------------------------------- 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


----------------------------------------------------------------------------------
Rationale for Negative Vote

[MK]

1.	In section 16.4, the event_expressions should have '()' around
it (in the part where it describes these with 1729 accepted).
2.	In section 16.4.1, it says that if no action block is specified
$error will be executed. This is overlooking the fact that deferred
assertion may be a ' cover ' and this will not be valid in that case.
3.	There seems to be major issues in the description of the event
control based deferred assertion (16.4.5). We need to discuss this
within Mentor Graphics to provide detailed feedback (which is only
possible in January due to holidays).
4.	I do not think deferred covers should be mentioned in 16.14.3 as
that section is only for concurrent assertions. How the counters for
deferred cover will work should be with 16.4 (the new section being
added). I did not find any changes in 16.14.3 in 1729 for it as the
current proposal mentions.

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