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

From: Steven Sharp (sharp@cadence.com)
Date: Fri May 23 2003 - 14:20:09 PDT

  • Next message: Steven Sharp: "errata/172: Implicit declarations"

    Precedence: bulk

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

    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.
     
     Steven Sharp
     sharp@cadence.com
     

    This archive was generated by hypermail 2.1.4 : Fri May 23 2003 - 14:21:10 PDT and
    sponsored by Boyd Technology, Inc.