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 and
dangerous content by MailScanner, and is
believed to be clean.