Re: [sv-bc] LRM-193 through LRM-195


Subject: Re: [sv-bc] LRM-193 through LRM-195
From: Peter Flake (Peter.Flake@synopsys.com)
Date: Tue Feb 03 2004 - 10:02:47 PST


Hi Jonathan,

Static data declared in the package must indeed be stored in memory
associated with that package. This applies to static class data, for example.

Regards,

Peter.

At 09:27 03/02/2004 -0800, Karen Pieper wrote:
>This mail bounced.. K
>
>From: "Bradford Jonathan" <Jonathan.Bradford@Micronas.com>
>To: "Warmke, Doug" <doug_warmke@mentorg.com>,
>"Steven Sharp" <sharp@cadence.com>, <dwsmith@synopsys.com>,
><sv-bc@server.eda.org>, <sv-ec@server.eda.org>
>
>Hello
>
>I think there needs to be definition of where items referred to in the
>package
>actually takes place. I assume not in the package itself, as that implies a
>common memory (i.e. static), shared by all that refer to that item in the
>package.
>
>I assume the example below was a single file forming a compilation unit ?
>Do then the declarations inferred by the reference f() (or p::f()) occur
>where
>the statement import p::* appears lexically in the compilation unit (after
>top
>before mid) or at the top of the compilation unit or in the module or
>block where
>p::f() reference takes place. I think it is the first of these three
>(lexical position
>of import).
>
>Is it also possible to then place import statements deeper in the design,
>i.e.
>after a module declaration or in a named begin end block. Then when a
>later package
>reference occurs, the item is inferred to be declared where the package
>was imported.
>I am also worried by the ability to reference package items without
>package import
>statements. The spec implies that only import pack::item; or import
>pack::*; but
>there is nothing for import pack; on its own.
>
>This would then indicate where package item declarations take place and
>also help
>dependency generation.
>
>Clarification on the above would be useful for interpreting the spec., as
>it seems
>to have been interpreted in a number of ways.
>
>Jonathan Bradford



This archive was generated by hypermail 2b28 : Tue Feb 03 2004 - 10:12:26 PST