Date: Sat Jan 25 2003 - 19:20:01 PST
The following reply was made to PR errata/273; it has been noted by GNATS.
To: Brad Pierce <Brad.Pierce@synopsys.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.
> >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
sponsored by Boyd Technology, Inc.