Re: [sv-ec] FW: continuous assignemts

From: David Jones <djones_at_.....>
Date: Wed Jul 22 2009 - 07:52:53 PDT
How about:

interface foo;
reg some_var;

  assign some_var = ...;
endinterface

module bar;
  foo ifoo();

virtual interface foo_h;

initial begin
  foo_h = ifoo;
  foo_h.some_var = 1;
end
endmodule

I haven't reviewed the chapter on interfaces recently, so I'm not sure
if it's legal to deference an untyped virtual interface handle.
However, we have here two assignments to some_var, one of which cannot
be readily discerned without some heavy dataflow analysis (in the
general case).

Has this case been considered?

On Wed, Jul 22, 2009 at 10:38 AM, Rich, Dave<Dave_Rich@mentor.com> wrote:
> There are no restrictions on these types other than for any other variables.
> (i.e. multiple drivers) There are restrictions on members of class vars and
> virt. intf. vars. (limited to procedural contexts).
>
>
>
> ________________________________
>
> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
> Behalf Of Francoise Martinolle
> Sent: Wednesday, July 22, 2009 7:10 AM
> To: sv-ec@server.eda.org
> Subject: [sv-ec] FW: continuous assignemts
>
>
>
> Are continuous assignment on class vars and virtual interface vars allowed?
>
>
>
> Francoise
>
>        '
>
>
>
> ________________________________
>
> From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
> Sent: Wednesday, July 22, 2009 8:01 AM
> To: Francoise Martinolle
> Subject: RE: continuous assignemts
>
> I did not find such text.
>
>
>
> Shalom
>
>
>
> ________________________________
>
> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
> Behalf Of Francoise Martinolle
> Sent: Monday, July 20, 2009 11:55 PM
> To: sv-ec@server.eda.org
> Subject: [sv-ec] continuous assignemts
>
> Where is the text in the LRM which disallow continuous assignments to class
> variable handles or
>
> virtual interface variables.
>
> I see that virtual interface variable are not allowed on port expression
> which makes me think that
>
> continuous assignment to them are not legal.
>
>
>
> Francoise
>
>        '
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, 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.
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Jul 22 07:54:25 2009

This archive was generated by hypermail 2.1.8 : Wed Jul 22 2009 - 07:54:46 PDT