[sv-bc] RE: [sv-ec] [sv-ac] 1549 and inside operator

Maybe the problem is in the vague definition of 'inside' operator?
Essentially it requires an argument list as its second argument, but SV
does not have such a construct.

Thanks,
Dmitry

-----Original Message-----
From: Gordon Vreugdenhil [mailto:gordonv@model.com] 
Sent: Wednesday, October 10, 2007 6:33 PM
To: Korchemny, Dmitry
Cc: sv-ac@server.eda.org; sv-bc@server.eda.org; sv-ec@server.eda.org
Subject: Re: [sv-ec] [sv-ac] 1549 and inside operator



Since "x" and "y" are untyped, I don't know what to do with
the `{1, 3, 5} form.  There is no type that I can appeal to
in order to determine what to produce.

So I don't think that what you have is valid at all.

I guess that you could have:
    typedef int arr[$];

   ...   s(a, arr'('{1,3, 5}))

but I don't think you can use the '{} form with an
untyped formal and have the type be inferred.

Gord.


Korchemny, Dmitry wrote:
> Hi all,
> 
>  
> 
> I have the following use case that is directly (or indirectly) related

> to 1549 resolution. Consider the following sequence:
> 
>  
> 
> sequence s(x, y);
> 
> ##1 x inside {y};
> 
> endsequence
> 
>  
> 
> What is the right way to pass a set to this sequence instantiation in
a 
> concurrent assertion? Should it be
> 
>  
> 
> assert property(@clk  s(a, '{1,3, 5});
> 
>  
> 
> ?
> 
>  
> 
> Or should other (which) syntax be used?
> 
>  
> 
> It looks like the LRM does not define it precisely.
> 
>  
> 
> Thanks,
> 
> Dmitry
> 
> ---------------------------------------------------------------------
> 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.

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com
---------------------------------------------------------------------
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.