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.