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