RE: [sv-ac] call to vote on 1806 - restrict property

Hi,

Please find attached a modified proposal. Also uploaded to Mantis.

Ed


> -----Original Message-----
> From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com]
> Sent: Friday, February 22, 2008 10:16 AM
> To: Eduard Cerny; Bustan, Doron; john.havlicek@freescale.com; sv-
> ac@eda.org
> Subject: RE: [sv-ac] call to vote on 1806
> 
> Hi Ed,
> 
> One more friendly amendment:
> 
> On Page 3:
> restrict property ( property_spec ) ;
> 
> the terminals should be in red.
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
> Behalf Of Eduard Cerny
> Sent: Friday, February 22, 2008 3:53 PM
> To: Bustan, Doron; john.havlicek@freescale.com; sv-ac@server.eda.org
> Subject: RE: [sv-ac] call to vote on 1806
> 
> I have posted a modified proposal following Bassam's and Doron's
> amendments. Also attached here.
> 
> Best regards,
> ed
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> > Bustan, Doron
> > Sent: Thursday, February 21, 2008 1:28 AM
> > To: john.havlicek@freescale.com; sv-ac@eda.org
> > Subject: RE: [sv-ac] call to vote on 1806
> >
> > I vote yes on 1806 with the friendly amendment:
> >
> > * At the syntax box 16-16, there a "restrict_property_statement::="
> > missing
> >   at the end.
> >
> > Doron
> >
> > >>-----Original Message-----
> > >>From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org]
> > On
> > >>Behalf Of John Havlicek
> > >>Sent: Tuesday, February 19, 2008 8:55 PM
> > >>To: sv-ac@server.eda.org
> > >>Subject: [sv-ac] call to vote on 1806
> > >>
> > >>Hi Folks:
> > >>
> > >>This is the call to vote on 1806.  The proposal on Mantis is
> > >>
> > >>   Restrict1806.080208.pdf
> > >>
> > >>See details below.
> > >>
> > >>J.H.
> > >>
> >
>
>>----------------------------------------------------------------------
> > ----
> > >>--------
> > >>Ballot on Mantis 1806
> > >>
> > >>- Called on 2008-02-19, final ballots due by 2008-02-25 T
> 23:59-08:00.
> > >>- Please ensure that Dmitry Korchemny receives your ballot.
> > >>
> > >> v[x-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron
> > Bustan
> > >>(Intel)
> > >> v[xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard
> > Cerny
> > >>(Synopsys)
> > >> n[---------------------------x-xxx---------x-x-xxx-x---x]
Surrendra
> > >>Dudani (Synopsys)
> > >> v[xxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv
> Fais
> > >>(Freescale)
> > >> t[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John
> > Havlicek
> > >>(Freescale - Chair)
> > >> v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
> > >>Korchemny (Intel - Co-Chair)
> > >> v[-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
> > >>Kulshrestha (Mentor Graphics)
> > >> n[--x-x-------------------------------------------------] Ah-Lam
> Lee
> > >>(Qualcomm)
> > >> n[-----------------------------------xxxxx-------x-xx-x-] Jiang
> Long
> > >>(Mentor Graphics)
> > >> n[--------------x------------x--xxx.....................] Joseph
Lu
> > >>(Altera)
> > >> v[x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan
> > >>Martensson (Jasper)
> > >> n[--------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel
> > Miller
> > >>(Freescale)
> > >> v[xxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa
> Piper
> > >>(Cadence)
> > >> v[-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik
> > Seligman
> > >>(Intel)
> > >> n[------------x-x----x--------xxxx-----xxxx-xx----------] Tej
Singh
> > >>(Mentor Graphics)
> > >> v[-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
> > Tabbara
> > >>(Synopsys)
> > >> v[xxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom
> > Thatcher
> > >>(Sun Microsystems)
> > >>   |------------------------------------------------------
> attendance
> > on
> > >>2008-02-12
> > >> |-------------------------------------------------------- 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.
> >
> >
---------------------------------------------------------------------
> > 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.
> >
> 
> 
> --
> 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.