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

I vote yes on 2091 with the following 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.

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Wednesday, January 09, 2008 2:14 PM
To: sv-ac@server.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.

---------------------------------------------------------------------
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.