Re: [sv-bc] Copy of Packages_Sep_V8.pdf


Subject: Re: [sv-bc] Copy of Packages_Sep_V8.pdf
From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Nov 04 2003 - 09:28:07 PST


Hello;

Questions about the packages proposal...

o Could the difference between $root and $unit be elaborated? It is not
   clear how having one of the two ($root or $unit) creates an ambiguity.
   Also, Section 18.10 speaks about $root

o Why does $unit require '::' as a separator, while $root (and other hierarchical
   references) use '.' ?

o Have you considered the ability to rename a conflicting symbol so that a package
   can be used? This provides the capability to fix conflicts instead of having
   to build a complete wrapper around one or more packages. See Eiffel as an
   example of renaming symbols that are in conflict.

o I see that both parameters and local parameters can be part of a package. Can
   any parameters be overridden by defparams? Is there a need for both?

o Why is an anonymous program introduced for packages?

o In defining a unit of compilation as a collection of files, should there not be some
   tie in to configurations as defined by 1364-2001? One should at least say
   that a library is a unit of compilation.

    THanks.

    Adam Krolnik
    Verification Mgr.
    LSI Logic Corp.
    Plano TX. 75074
    Co-author "Assertion Based Design"



This archive was generated by hypermail 2b28 : Tue Nov 04 2003 - 09:31:23 PST