RE: errata/273: LRM does not specify result of real division by 0

From: Shalom.Bresticker@motorola.com
Date: Sat Jan 25 2003 - 19:20:01 PST

  • Next message: Shalom.Bresticker@motorola.com: "Re: errata/272: PROPOSAL - Nonconstant parameter assignments in module instantiations (A.4.1)"

    Precedence: bulk

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

    From: Shalom.Bresticker@motorola.com
    To: Brad Pierce <Brad.Pierce@synopsys.com>
    Cc: etf-bugs@boyd.com
    Subject: RE: errata/273: LRM does not specify result of real division by 0
    Date: Sun, 26 Jan 2003 05:19:00 +0200 (IST)

     That is in fact what Verilog-XL produces.
     
     Shalom
     
    > >The case of real division by 0 should be specified.
    > >There are two cases: regular division by 0.0 and 0.0/0.0 .
    >
    > In floating-point arithmetic, the regular division would
    > be an Inf of the appropriate sign and the 0.0/0.0 would be
    > a NaN of the appropriate sign.
     

    This archive was generated by hypermail 2.1.4 : Sat Jan 25 2003 - 19:20:29 PST and
    sponsored by Boyd Technology, Inc.