[sv-bc] 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


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