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

Hi Bassam,

OK, will do...
ed

> -----Original Message-----
> From: Bassam Tabbara
> Sent: Wednesday, February 20, 2008 11:19 AM
> To: Eduard Cerny; 'Bassam.tabbara@synopsys.com';
> 'john.havlicek@freescale.com'; 'sv-ac@eda.org'
> Subject: Re: [sv-ac] call to vote on 1806
> 
> Hi Ed,
> 
> It might be confusing for it to appear here regardless. Otw, yes a
> statement like below is needed also add to the 36.42 diagram. Easier to
> leave it out of this API chapter.
> 
> Thx.
> -Bassam
> 
> ----- Original Message -----
> From: Eduard Cerny <edcerny@synopsys.COM>
> To: Bassam Tabbara <Bassam.Tabbara@synopsys.COM>;
> john.havlicek@freescale.com <john.havlicek@freescale.com>; sv-ac@eda.org
> <sv-ac@eda.org>
> Sent: Wed Feb 20 06:46:28 2008
> Subject: RE: [sv-ac] call to vote on 1806
> 
> Bassam, but the statement in 38.3.2 just says that this information
> about an assertion is static, not how you get to it. Are you sure that
> adding a note would be better in that case, e.g., "restrict is not
> simulated and hence generates no run-time information." Or something
> like that?
> 
> ed
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Bassam
> > Tabbara
> > Sent: Tuesday, February 19, 2008 4:20 PM
> > To: john.havlicek@freescale.com; sv-ac@eda.org
> > Subject: RE: [sv-ac] call to vote on 1806
> >
> > I vote yes with friendly amendment to strike out the change to 38.3.2
> --
> > while what is states is accurate (static info is accessible "somehow"
> > (NOT direct API)), adding "restrict" to the list would be confusing
> > since it is NOT referenced in the direct API.
> >
> > Thx.
> > -Bassam.
> >
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> John
> > Havlicek
> > Sent: Tuesday, February 19, 2008 10:55 AM
> > To: sv-ac@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.
> >
> >
> > --
> > 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 anddangerous content by MailScanner, and isbelieved to be clean.