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

I vote yes on 2150 with the following friendly amendments:

* Region names should be capitalized. "the reactive region" -> "the
Reactive region" throughout the proposal.

* The LRM usually does not explain limitation reasons, therefore I
believe that the explanation why the automatic variables are disallowed
is redundant.

E.g.,

"Since the action block of an assert statement executes in the reactive
region, the automatic variables referenced in the action block may not
be valid when the action block executes. Therefore the action block of
an assert statement shall not refer to an automatic variable declared
outside of the action block with an exception: An automatic loop
iterator variable may be used in the action block of the assert
statement that is
within a for or foreach loop."

may be rewritten as:

"The action block of an assert statement shall not refer to an automatic
variable declared outside of the action block with an exception: An
automatic loop iterator variable may be used in the action block of the
assert statement that is within a for or foreach loop."

Also, should the part of a sentence after a colon be capitalized? Maybe
to rewrite it as:

"The action block of an assert statement shall not refer to an automatic
variable declared outside of the action block with the following
exception: an automatic loop iterator variable may be used in the action
block of the assert statement that is within a for or foreach loop."

* The same exception (about for loops) should apply to clause 16.10.

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 16, 2008 4:08 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 2150

Hi Folks:

This is the call to vote on the proposal for Mantis 2150.

The document on Mantis is

   automatics_2150_01_11_08.pdf

Please vote if you are eligible.  See details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 2150

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

 v[xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
 v[xxxxx-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[xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[---------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
 v[xxxxxx-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[xxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |------------------------------------------------- attendance on
2008-01-15
 |--------------------------------------------------- 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.