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

I vote no.

1) data reference in concurrent assertion restriction needs cleanup.
Proposal says "must have static lifetime", then says "class properties
not allowed" in the examples -- so are static class properties allowed
or not ? Note that this restriction might be too extreme in general
(e.g. persistent classes) but I do agree with it i.e. err on the side of
caution (user can always copy to a static etc... better than a runtime
error).

2) restrictions on immediate assertion in automatic scope system
control/callback seems artificial in my mind (and the wording of "...
cannot be controlled by .... VPI" can be misleading need more precise
wording i.e. "VPI control" or some such). Assertion (attempts) are
dynamic themselves ... I don't really understand what the issue behind
this restriction is.

Thx.
-Bassam.

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, January 09, 2008 4:14 AM
To: sv-ac@eda.org
Subject: [sv-ac] call to vote on 2091

Hi Folks:

Since Tom's review of 2091 was positive, I am calling for a vote.

The document on Mantis is 

   2091_wherePlaced_071221_lp.pdf

Please vote if you are eligible.  See the details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 2091

- Called on 2008-01-09, final ballots due by 2008-01-15 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[---------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)  v[xxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv
Fais (Freescale)  t[xxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
John Havlicek (Freescale - Chair)
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)  v[xxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx]
Manisha Kulshrestha (Mentor Graphics)
n[-----------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor
Graphics)  n[--------x------------x--xxx.....................] Joseph Lu
(Altera)  v[xxxxxxxxxxxxxxxxxx..............................] Johan
Martensson (Jasper)  n[--------------------------x--x-xx--xx-xxxxxxx-x-]
Hillel Miller (Freescale)
v[xxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
v[xxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)  n[------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
(Mentor Graphics)  v[xxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx]
Bassam Tabbara (Synopsys)
v[xxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |------------------------------------------------ attendance on
2008-01-08
 |-------------------------------------------------- voting eligibility
for this ballot
|--------------------------------------------------- email ballots 
|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.