[sv-ac] ballot result for 1995

----------------------------------------------------------------------------------
Ballot on Mantis 1995

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

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


----------------------------------------------------------------------------------
Friendly Amendments

[YF]

I vote yes with the following friendly amendment:

- page 3 , in both:
 a1: assert property ( table[i][j] !=3D `BAD_VAL);
				else report_failure(i,j);

a1: assert property (foo |-> (bar |->
 (table[i][j] !=3D `BAD_VAL)));
else report_failure(i,j);

should remove the semicolon before the "else".


[MK]

I vote yes on 1995, with the same friendly amendments Yaniv has
mentioned about null statement being used as pass statement (';' after
assert).=20

I also have a question about the statement about sampling everything
except loop indicies. Shouldn't the statement mention that local
variables are also not sampled ?

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