Generate proposal

From: Vreugdenhil, Gordon (gordon_vreugdenhil@mentorg.com)
Date: Thu Mar 11 2004 - 13:09:48 PST

  • Next message: Steven Sharp: "Re: Generate proposal"

    In terms of the generate proposal, I think the overall
    proposal is a vast improvement over 2001 and I certainly
    appreciate all the effort that Jason, Steven and Shalom
    put into it.

    I do have a few specific issues:

       1) the concept of external name in 12.4.3 doesn't seem
          complete enough. If a declaration does not have a
          hierarchical name but instead just an implicit external
          name, is the external name the one to be used in a
          VCD dump? What about a pli by-name lookup? Does
          a $display with %m in an unnamed block produce the
          implicit name? I think that it would be valuable
          to explicitly define the interactions/requirements
          with respect to other aspects of the LRM.

       2) 13.1 clarifies (by implication) that a configuration
          cannot create a design root from a module that would
          not otherwise be a "top module". I disagree with this.
          If a self recursive model is *defined to be* a design root
          by a configuration, we should respect that. Forcing
          a user to create an additional level of hierarchy for
          the purpose of using a configuration does not make sense
          to me. The restriction on the *automatic determination*
          of top modules is absolutely necessary, but in the
          context of configurations we shouldn't try to second
          guess the designer.

       3) 10.3.5 removes generated functions from the list of
          constant functions. I don't understand the rationale
          for this. Since the visibility rules and locality
          rules guarantee that a function would be elaborated before
          any possible use as a constant function, I don't see
          why this is restricted and parameter dependent functions
          are not.

    Thanks again for spending the time to get this so far along!

    Gord. 

    -- 
--------------------------------------------------------------------
Gordon Vreugdenhil,  Staff Engineer               503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com

    This archive was generated by hypermail 2.1.4 : Fri Mar 12 2004 - 13:46:26 PST and
    sponsored by Boyd Technology, Inc.