[sv-ac] reminder to vote on 1900, 2091

Hi Folks:

This is a reminder that we have ballots closing on 2008-01-15 on
1900 and 2091.  Please vote if you are eligible.  The results so
far are below.

J.H.

----------------------------------------------------------------------------------
Ballot on Mantis 1900

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

 v[xxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
yv[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)
yv[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)
yv[xxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
yv[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


----------------------------------------------------------------------------------
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)
yv[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)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
nv[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)
nv[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


----------------------------------------------------------------------------------
Rationales for Negative Votes

[BT]

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.

[MK]

I vote 'no'. I have already sent email to Lisa regarding the issue of
controllability of certain assertions. I would like to get clarification
from her on that.

----------------------------------------------------------------------------------
Friendly Amendments

Page 2. It is written:

"While immediate assume and immediate assert statements can be included
in
automatic tasks, functions, and blocks, and in fork...join,
fork...join_any, or
fork...join_none blocks, they cannot be controlled by system tasks,
action block controls, or VPI. An immediate cover statement cannot be
used in automatic tasks, functions, and blocks, or in a fork...join,
fork...join_any, or fork...join_none block."

* I think "shall not" should be used here (twice) instead of "cannot". I
am not sure whether it should be "can" or "may" in "can be included..."

* This statement is ambiguous. I would formulate it as

" While immediate assume and immediate assert statements can be included
in automatic tasks, functions, and blocks, and in fork...join,
fork...join_any, or
fork...join_none blocks, *** in these cases *** they cannot be
controlled ...". Otherwise it looks like the immediate assertions cannot
be controlled by system tasks, etc. in general.

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