[sv-ac] ballot result for 1987

Hi Folks:

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

See the results below.

J.H.

----------------------------------------------------------------------------------
Ballot on Mantis 1987

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

yv[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[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)
yv[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)
yv[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:

[TT]

In 16.14.2, I would remove the change from "drive random simulation"
to "validate input stimulus"  This particular paragraph is talking about 
  random simulation, so in this context I think the original wording was 
better.

[MK]

I vote 'yes' with the friendly amendment that the changes suggested for
16.3 should be removed as the statement being referred (stated below) is
already removed by 1641.=20

Because the assertion is a statement that something must be true, the
failure of an assertion shall have a
severity associated with it. By default, the severity of an assertion
failure is error.

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