RE: [sv-ac] Call to vote on 2650

Hi Dimitry,

 

I agree this statement is correct based on formal semantics. OK, I'll
change my vote to yes.  

 

Manisha

 

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
Sent: Monday, May 04, 2009 12:28 PM
To: Kulshrestha, Manisha; sv-ac@eda.org
Subject: RE: [sv-ac] Call to vote on 2650

 

Hi Manisha,

 

According to the definition of sequence fusion w \tight s ##0 t iff x =
xyz, |y| = 1 and xy \tight s and yz \tight t, therefore in order seq ##0
empty to have a  match, empty must have a non-empty match, which is
wrong. Unfortunately, Mantis is not operational now, so I cannot see how
Erik's proposal is written exactly, but the statement that the empty
sequence matches over zero clock ticks and does not match over any
positive clock tick number is correct.

 

Regards,

Dmitry

 

From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com] 
Sent: Monday, May 04, 2009 9:20 AM
To: Korchemny, Dmitry; sv-ac@eda.org
Subject: RE: [sv-ac] Call to vote on 2650

 

I vote no. I feel the addition of new statement about 'matches over zero
clock ticks' makes it more confusing as the rules below do not support
this statement. If it mathes over zero clock ticks then (seq ##0 empty)
should be same as (seq).

 

Manisha

 

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Korchemny, Dmitry
Sent: Wednesday, April 29, 2009 3:48 PM
To: sv-ac@eda.org
Subject: [sv-ac] Call to vote on 2650

 

Hi all,

 

This is a call to vote on 22650  "Ambiguity in a sequence repetition
[*0] definition". Please, vote if you are eligible.

 

- Called on 2009-04-29, final ballots due by 2009-05-03 T 23:59-08:00
PDT.

 

v[-xxx] Doron Bustan (Intel)

v[xxxx] Eduard Cerny (Synopsys)

v[xx-x] Ben Cohen 

n[x--x] John Havlicek (Freescale)

v[x-xx] Tapan Kapoor (Cadence)

t[xxxx] Dmitry Korchemny (Intel - Chair)

v[x-xx] Manisha Kulshrestha (Mentor Graphics)

n[x-x.] Lisa Piper

v[xxxx] Erik Seligman (Intel)

v[xxxx] Bassam Tabbara (Synopsys)

v[xx-x] Tom Thatcher (Sun Microsystems - Co-Chair)

   |-------------- attendance on 2009-04-27

 |---------------- voting eligibility on 2009-04-27

 

       Legend:

                x = attended

                - = missed

                r = represented

                . = not yet a member

                v = valid voter (2 out of last 3 or 2/3 overall)

                n = not a valid voter

                t = chair eligible to vote only to make or break a tie

 

 

---------------------------------------------------------------------
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 <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.