Re: errata/140: Section 4.1.5: Definition of power operator result type

From: Kurt Baty (kurt@wsfdb.wsfdb.com)
Date: Sun May 25 2003 - 08:00:05 PDT

  • Next message: Shalom.Bresticker@motorola.com: "Re: errata/140: Section 4.1.5: Definition of power operator result type"

    Precedence: bulk

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

    From: Kurt Baty <kurt@wsfdb.wsfdb.com>
    To: etf-bugs@boyd.com
    Cc: kurt@wsfdb.wsfdb.com, sharp@cadence.com
    Subject: Re: errata/140: Section 4.1.5: Definition of power operator result type
    Date: Sun, 25 May 2003 09:44:30 -0500 (CDT)

    > >From: Steven Sharp <sharp@cadence.com>
    > To: etf-bugs@boyd.com, drm@xilinx.com
    > Cc:
    > Subject: Re: errata/140: Section 4.1.5: Definition of power operator result type
    > Date: Fri, 23 May 2003 17:14:52 -0400 (EDT)
    >
    > > 2**(-3'so4/3'so2) 0 Exponent is -2, Integer division truncates
    > to zero
    >
    > This line in the revised example is now confusing. The reference to integer
    > division will be misunderstood to mean the actual division operation in the
    > example, but that division doesn't truncate to zero. It is not apparent
    > that it is talking about the effective division implied by the negative
    > power.
    >
    > This line from the examples can probably be removed from this version of
    > the proposal anyway. Shalom added it to show that having the power operator
    > interpret the exponent bits as an unsigned value did not change the actual
    > type of the expression. This is not relevant to this version of the proposal.
    >
      OK I agree that "This line in the revised example is now confusing."
     so I will remove it.
     
     however I would below this line:
     
        2.0**-3'sb1 0.5 -3'sb1 coerced to -1.0, giving real reciprocal
     
     add:
     
        2**-3'sb1 0 non-real case and less than one reciprocal truncates to zero
     
     (I am not totally happy with this wording ^^^^^^ )
     
     to clearly show that the 0.5(s) are not rounded up.
     
     
             thanks
     
             kurt
     
     
     
     

    This archive was generated by hypermail 2.1.4 : Sun May 25 2003 - 08:00:55 PDT and
    sponsored by Boyd Technology, Inc.