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.