Oops, John pointed out that I forgot to include the Y-word in my email. So to clarify: I vote Yes on the latest draft, with the friendly amendment below. ________________________________ From: Seligman, Erik Sent: Thursday, January 31, 2008 7:13 AM To: 'Kulshrestha, Manisha'; 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 Looks better, thanks! One more minor friendly amendment: Shalom mentioned when I was revising 1995 that 'loop iterator variable' is not the correct term, and 'loop control variable' is better. ________________________________ From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com] Sent: Wednesday, January 30, 2008 9:48 PM 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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jan 31 13:17:08 2008
This archive was generated by hypermail 2.1.8 : Thu Jan 31 2008 - 13:18:00 PST