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

I vote yes on the updated version of 2150.

 

Dmitry

 

________________________________

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com] 
Sent: Thursday, January 31, 2008 7:48 AM
To: Kulshrestha, Manisha; Seligman, Erik; john.havlicek@freescale.com;
sv-ac@server.eda.org
Cc: Bustan, Doron; eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
Korchemny, Dmitry; johan.martensson@jasper-da.com; piper@cadence.com;
bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
Subject: RE: [sv-ac] call to vote on 2150

 

Hi,

 

I have uploaded a new version (also attached here).

 

Thanks.

Manisha

 

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Kulshrestha, Manisha
Sent: Thursday, January 31, 2008 10:45 AM
To: Seligman, Erik; john.havlicek@freescale.com; sv-ac@server.eda.org
Cc: Bustan, Doron; eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
Korchemny, Dmitry; johan.martensson@jasper-da.com; piper@cadence.com;
bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
Subject: RE: [sv-ac] call to vote on 2150

 

OK, I'll rephrase it and post a new version.

 

Manisha

 

From: Seligman, Erik [mailto:erik.seligman@intel.com] 
Sent: Thursday, January 31, 2008 3:35 AM
To: john.havlicek@freescale.com; sv-ac@server.eda.org
Cc: Bustan, Doron; eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
Korchemny, Dmitry; Kulshrestha, Manisha; johan.martensson@jasper-da.com;
piper@cadence.com; bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
Subject: RE: [sv-ac] call to vote on 2150

 

 

Upon reading this, I'm a little worried about the phrasing:

The action block of an assert statement shall not refer to an automatic
variable declared outside of the action block. An automatic loop
iterator variable shall be treated like a constant in the action block
of the assert statement that is within a for or foreach loop (see
16.14.5).

I'm not sure it's clear to a reader that the second sentence is making
an exception to the first sentence, rather than adding additional info--
someone could misinterpret the first sentence as definitive proof that
loop iterators cannot be referenced at all, and stop there.   I would
reprhase to mention in the first sentence that an exception is coming:

The action block of an assert statement shall not refer to an automatic
variable, other than a loop control variable, declared outside of the
action block. An automatic loop control variable shall be treated like a
constant in the action block of the assert statement that is within a
for or foreach loop (see 16.14.5).

 

Since the proposal essentially consists of several instances of this
sentence, this means I need to vote no on the current version.




-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Tuesday, January 29, 2008 7:24 PM
To: sv-ac@server.eda.org
Cc: Bustan, Doron; eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
john.havlicek@freescale.com; Korchemny, Dmitry;
Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com;
piper@cadence.com; Seligman, Erik; bassam.tabbara@synopsys.com;
thomas.thatcher@sun.com
Subject: [sv-ac] call to vote on 2150

Hi Folks:

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

The document on Mantis is

   automatics_2150_01_28_08.pdf

Please vote if you are eligible.  See details below.

J.H.

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

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

 v[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxxxx--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[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
John Havlicek (Freescale - Chair)
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
v[xxxxxxx-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)  n[--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson (Jasper)
n[-----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)  v[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa
Piper (Cadence)  v[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................]
Erik Seligman (Intel)
n[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)  v[x-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam
Tabbara (Synopsys)
v[xxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |--------------------------------------------------- attendance on
2008-01-29
 |----------------------------------------------------- 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 <http://www.mailscanner.info/> , 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.