Re: errata/487: Unclear parameter type conversion rules (3.11.1 and 12.2)

From: Francoise Martinolle (fm@cadence.com)
Date: Wed Sep 24 2003 - 07:20:00 PDT

  • Next message: Steven Sharp: "Re: errata/487: Unclear parameter type conversion rules (3.11.1 and 12.2)"

    Precedence: bulk

    The following reply was made to PR errata/487; it has been noted by GNATS.

    From: "Francoise Martinolle" <fm@cadence.com>
    To: <etf-bugs@boyd.com>, <Brad.Pierce@synopsys.com>
    Cc:
    Subject: Re: errata/487: Unclear parameter type conversion rules (3.11.1 and 12.2)
    Date: Wed, 24 Sep 2003 11:01:34 -0400

     According to the rules in section 12.2, the overridden value shall be converted to the type and the range of the parameter declaration.
     In the declaration, the parameter range is 32 bits regardless of what is the value on the left hand side. According to 12.2 the values assigned to the parameters are converted to the type and range of the declaration if any. This is new in 2001. In 1995, parameters did not have a type neither a range declared and it was taking the type and range of the expression on the last override.
     
     In your example, after final overridden the parameter value will be 32 bit wide and its value will be 32' bits with the LSB be a 1
     Francoise
            '
     At 06:10 PM 9/23/2003 -0700, Brad Pierce wrote:
     Precedence: bulk
     
     The following reply was made to PR errata/487; it has been noted by GNATS.
     
     From: "Brad Pierce" <Brad.Pierce@synopsys.com>
     To: <etf-bugs@boyd.com>
     Cc:
     Subject: Re: errata/487: Unclear parameter type conversion rules (3.11.1 and 12.2)
     Date: Tue, 23 Sep 2003 18:57:36 -0700
     
      Parameter types are polymorphic and dependent on
      the type of the value assigned to the parameter?
      So, for example, if P is declared
      
          parameter [31:0] P = 4'b0000
      
      it is really only 4 bits wide, not 32, and if it
      is overridden with 5'b00001, it is 5 bits wide?
      
      -- Brad
      
     
     
     
     
     

    This archive was generated by hypermail 2.1.4 : Wed Sep 24 2003 - 07:23:13 PDT and
    sponsored by Boyd Technology, Inc.