[sv-ac] ballot result for 1995

Hi Folks:

1995 was passed by our e-mail ballot.  There were no friendly
amendments, but there were some comments from Shalom Bresticker.
See the results below.

J.H.

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

- 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)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
yv[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


----------------------------------------------------------------------------------
Comments from Shalom Bresticker:

- Instead of 'iterator', the LRM term is 'loop variable' or 'loop
control variable'.

- "All controlling arrays shall be non-associative and have fixed-size
bounds." As I previously wrote you, if the intent is to exclude
associative, dynamic, and queue dimensions, then you should simply say
something like, "All controlling arrays shall be of fixed size." That
excludes associative arrays also.

- "The loop iterators do not use sampled values." The loop iterators
don't do anything. I think you mean something like, "The assertion does
not use sampled values of the loop variables."


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