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

Dmitry already filed Mantis 2232 on that, and Brad and I independently
requested the editor to fix all occurrences of Observe (There are a few
instances outside of Clause 16 as well.).

Shalom

> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Seligman, Erik
> Sent: Saturday, January 26, 2008 1:00 AM
> To: Thomas.Thatcher@sun.com; john.havlicek@freescale.com
> Cc: sv-ac@server.eda.org
> Subject: 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.
> 
> 
> 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


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