RE: [sv-ac] call to vote on 2091

I actually thought about that too, until I looked at the surrounding
text in the LRM.  The problem seems to be that all of chapter 16 uses
'Observe' instead of 'Observed'.  It might be worth fixing in a new
proposal...  But for now, to remain consistent with the area where it's
being inserted, I think it has to stay as the incorrect 'Observe'!


-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Thomas Thatcher
Sent: Friday, January 25, 2008 2:35 PM
To: john.havlicek@freescale.com
Cc: sv-ac@server.eda.org
Subject: Re: [sv-ac] call to vote on 2091

I vote yes on 2091 with a possible friendly amendment.

   "The assertions are evaluated in the Observe region"

	Should it be "Observed region"?

John Havlicek wrote:
> Hi Folks:
> 
> This is the call to vote on 2091.
> 
> The document on Mantis is
> 
>    2091_wherePlaced_080112_lp.pdf
> 
> Please vote if you are eligible.  See the details below.
> 
> J.H.
> 
> ----------------------------------------------------------------------
> ------------
> Ballot on Mantis 2091
> 
> - Called on 2008-01-23, final ballots due by 2008-01-28 T 23:59-08:00.
> 
>  v[xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
>  v[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
>  n[-----------------------x-xxx---------x-x-xxx-x---x] Surrendra 
> Dudani (Synopsys)  
> v[xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais 
> (Freescale)  t[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] 
> John Havlicek (Freescale - Chair)  
> v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny

> (Intel - Co-Chair)  
> v[xxxxxx-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)  v[-xxxxxxxxxxxxxxxxxxx..............................] Johan 
> Martensson (Jasper)
n[----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)  v[xxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa
Piper (Cadence)  v[xxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................]
Erik Seligman (Intel)
n[--------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)  v[-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
Tabbara (Synopsys)
v[xxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
>    |-------------------------------------------------- attendance on 
> 2008-01-22
>  |---------------------------------------------------- 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
> 

--
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.