RE: [sv-ac] ballot result for 1995

Sorry, I've been away, so haven't had a chance to edit.  I'll plan on
doing this by next week's meeting (1/15).

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Tuesday, January 08, 2008 5:07 AM
To: Seligman, Erik
Cc: sv-ac@eda.org
Subject: Re: [sv-ac] ballot result for 1995

Hi Erik:

Were the comments from Shalom addressed?

J.H.

> X-Authentication-Warning: server.eda.org: majordom set sender to
owner-sv-ac@eda.org using -f
> Date: Tue, 25 Dec 2007 11:43:08 -0600
> From: John Havlicek <john.havlicek@freescale.com>
> Reply-To: john.havlicek@freescale.com
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more
information
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> X-OriginalArrivalTime: 25 Dec 2007 17:43:50.0169 (UTC)
FILETIME=[B5515890:01C8471D]
> 
> 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.
> 

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