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

Hi,

I vote 'yes' with the following friendly amendments:

There is use of 'may' and 'must' at lot of places. I think some of these
should be converted into 'shall'.

   - All data referenced in a concurrent assertion, with the exception
of local variables (see 16.9) and for (see
12.7.1.) and foreach (see 12.7.3) loop indices, must have a static
lifetime (exist for the whole elaboration
and simulation time). Similarly, concurrent assertions may only exist in
blocks whose lifetime is also
static.

  Should be rephrased as:

- All data referenced in a concurrent assertion, with the exception of
local variables (see 16.9) and for (see
12.7.1.) and foreach (see 12.7.3) loop indices, shall have a static
lifetime (exist for the whole elaboration
and simulation time). Similarly, concurrent assertions shall only exist
in blocks whose lifetime is also
static.

Automatic variables and members or elements of dynamic variables cannot
be referenced in an
assertion.

  Should be rephrased as:

Automatic variables and members or elements of dynamic variables shall
not be referenced in an
assertion.

Class methods (see Clause 8) are only active for the lifetime of the
call and therefore may not
contain concurrent assertions or have its elements referenced by a
concurrent assertion.

Rephrase as (also syntactically it is not possible to have concurrent
assertions in class methods):

Class methods (see Clause 8) are only active for the lifetime of the
call and therefore shall not
contain concurrent assertions or have its elements referenced by a
concurrent assertion.

The lifetime of a fork...join, fork...join_any, or fork...join_none
block is limited to
the execution of all processes spawned by the block, and the lifetime of
a scope enclosing any fork
block includes the lifetime of the fork block. fork...join,
fork...join_any, or
fork...join_none blocks therefore may not contain concurrent assertions
or have its elements
referenced by a concurrent assertion.

Rephrase as:

The lifetime of a fork...join, fork...join_any, or fork...join_none
block is limited to
the execution of all processes spawned by the block, and the lifetime of
a scope enclosing any fork
block includes the lifetime of the fork block. fork...join,
fork...join_any, or
fork...join_none blocks therefore it shall not contain concurrent
assertions or have its elements
referenced by a concurrent assertion.

Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Thursday, January 24, 2008 8:45 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 2091

Hi Folks:

This is the call to vote on 2091.

The document on Mantis is

   2091_wherePlaced_080112_lp.pdf

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

J.H.

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

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

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