RE: [sv-ac] local variable

Hi Soumya,

There are problems with both syntax and semantics of this sequence:
The local variable assignment is an action item associated with a sequence, and in (data ##1 x = data, y = data) there is no sequence associated with assignments of x and y. There is the same problem with clk ##1 `true, x = data ##0 (clk==x). Probably your intention there was clk ##1 (`true, x = data) ##0 (clk==x).

The problem with semantics is that it is forbidden to assign the same local variable in two branches of an and.

Regards,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On Behalf Of soumya
Sent: Friday, January 30, 2009 2:24 PM
To: sv-ac@eda.org
Subject: [sv-ac] local variable

Hi,
 I have doubt regarding the sequence expression used....

 sequence s1;
        int x,y;
        ((data ##1 x = data, y = data)
        and (clk ##1 `true, x = data ##0 (clk==x))) ##1 (y==data);
endsequence

Is it correct syntax?

Thanks,
-Soumya

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


--
This email was Anti Virus checked by Astaro Security Gateway. http://www.astaro.com
---------------------------------------------------------------------Intel Israel (74) Limited
This e-mail and any attachments may contain confidential material forthe sole use of the intended recipient(s). Any review or distributionby others is strictly prohibited. If you are not the intendedrecipient, please contact the sender and delete all copies.
-- This message has been scanned for viruses anddangerous content by MailScanner, and isbelieved to be clean.