[sv-ac] RE: ballot result on 2091

All amendments are incorporated. I will be putting this on Mantis in a
minute.

Lisa

-----Original Message-----
From: John Havlicek [mailto:john.havlicek@freescale.com] 
Sent: Tuesday, January 29, 2008 9:55 AM
To: sv-ac@eda.org
Cc: doron.bustan@intel.com; eduard.cerny@synopsys.com;
yaniv.fais@freescale.com; john.havlicek@freescale.com;
dmitry.korchemny@intel.com; Manisha_Kulshrestha@mentor.com;
johan.martensson@jasper-da.com; Lisa Piper; erik.seligman@intel.com;
bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
Subject: ballot result on 2091

Passed, with friendly amendments.

See below.

J.H.

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

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

yv[xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
yv[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)
yv[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
yv[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)
yv[xxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
yv[xxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
 n[--------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
yv[-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
yv[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


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

[ES]

- Capitalize the 'a' in 'automatic' in the first bullet point.

[TT]

   "The assertions are evaluated in the Observe region"

	Should it be "Observed region"?  [Yes, according to Neil
Korpusik]

[DK]

Page 1. Should the following sentence be capitalized?

" - automatic variables and members..."

On one hand it starts after a comma, and therefore it shouldn't, but on
the other hand all other bullet sentences are capitalized, and therefore
it should.

I also noticed that in the LRM "time slot" is written separately, and
though "timeslot" is also correct spelling, I think we should be
consistent.


[MK]

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.

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