// ============================================================================
|
// ============================================================================
|
// __
|
// __
|
// \\__/ o\ (C) 2020-2022 Robert Finch, Waterloo
|
// \\__/ o\ (C) 2020-2022 Robert Finch, Waterloo
|
// \ __ / All rights reserved.
|
// \ __ / All rights reserved.
|
// \/_// robfinch@finitron.ca
|
// \/_// robfinch@finitron.ca
|
// ||
|
// ||
|
//
|
//
|
// DFPPkg.sv
|
// DFPPkg.sv
|
// - decimal floating point package
|
// - decimal floating point package
|
//
|
//
|
//
|
//
|
// This source file is free software: you can redistribute it and/or modify
|
// This source file is free software: you can redistribute it and/or modify
|
// it under the terms of the GNU Lesser General Public License as published
|
// it under the terms of the GNU Lesser General Public License as published
|
// by the Free Software Foundation, either version 3 of the License, or
|
// by the Free Software Foundation, either version 3 of the License, or
|
// (at your option) any later version.
|
// (at your option) any later version.
|
//
|
//
|
// This source file is distributed in the hope that it will be useful,
|
// This source file is distributed in the hope that it will be useful,
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
// GNU General Public License for more details.
|
// GNU General Public License for more details.
|
//
|
//
|
// You should have received a copy of the GNU General Public License
|
// You should have received a copy of the GNU General Public License
|
// along with this program. If not, see .
|
// along with this program. If not, see .
|
//
|
//
|
// This unit takes a floating point number in an intermediate
|
// This unit takes a floating point number in an intermediate
|
// format and normalizes it. No normalization occurs
|
// format and normalizes it. No normalization occurs
|
// for NaN's or infinities. The unit has a two cycle latency.
|
// for NaN's or infinities. The unit has a two cycle latency.
|
//
|
//
|
// The mantissa is assumed to start with two whole bits on
|
// The mantissa is assumed to start with two whole bits on
|
// the left. The remaining bits are fractional.
|
// the left. The remaining bits are fractional.
|
//
|
//
|
// The width of the incoming format is reduced via a generation
|
// The width of the incoming format is reduced via a generation
|
// of sticky bit in place of the low order fractional bits.
|
// of sticky bit in place of the low order fractional bits.
|
//
|
//
|
// On an underflowed input, the incoming exponent is assumed
|
// On an underflowed input, the incoming exponent is assumed
|
// to be negative. A right shift is needed.
|
// to be negative. A right shift is needed.
|
// ============================================================================
|
// ============================================================================
|
|
|
package DFPPkg;
|
package DFPPkg;
|
|
|
`define SUPPORT_DENORMALS 1'b1
|
`define SUPPORT_DENORMALS 1'b1
|
|
|
`define QINFDIV 4'd2
|
`define QINFDIV 4'd2
|
`define QZEROZERO 4'd3
|
`define QZEROZERO 4'd3
|
|
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic sign;
|
logic sign;
|
logic [4:0] combo;
|
logic [4:0] combo;
|
logic [14:0] expc; // exponent continuation field
|
logic [14:0] expc; // exponent continuation field
|
logic [139:0] sigc; // significand continuation field
|
logic [139:0] sigc; // significand continuation field
|
} DFP160;
|
} DFP160;
|
|
|
// Packed 128 bit (storage) format
|
// Packed 128 bit (storage) format
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic sign;
|
logic sign;
|
logic [4:0] combo;
|
logic [4:0] combo;
|
logic [11:0] expc; // exponent continuation field
|
logic [11:0] expc; // exponent continuation field
|
logic [109:0] sigc; // significand continuation field
|
logic [109:0] sigc; // significand continuation field
|
} DFP128;
|
} DFP128;
|
|
|
// Packed 128 bit (storage) format
|
// Packed 128 bit (storage) format
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic sign;
|
logic sign;
|
logic [4:0] combo;
|
logic [4:0] combo;
|
logic [9:0] expc; // exponent continuation field
|
logic [9:0] expc; // exponent continuation field
|
logic [79:0] sigc; // significand continuation field
|
logic [79:0] sigc; // significand continuation field
|
} DFP96;
|
} DFP96;
|
|
|
typedef logic [11:0] DFP96EXP;
|
typedef logic [11:0] DFP96EXP;
|
typedef logic [99:0] DFP96SIG;
|
typedef logic [99:0] DFP96SIG;
|
|
|
typedef logic [13:0] DFP128EXP;
|
typedef logic [13:0] DFP128EXP;
|
typedef logic [135:0] DFP128SIG;
|
typedef logic [135:0] DFP128SIG;
|
|
|
// Unpacked 96 bit format
|
// Unpacked 96 bit format
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [11:0] exp;
|
logic [11:0] exp;
|
logic [99:0] sig; // significand 25 digits
|
logic [99:0] sig; // significand 25 digits
|
} DFP96U;
|
} DFP96U;
|
|
|
// Unpacked 128 bit format
|
// Unpacked 128 bit format
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [13:0] exp;
|
logic [13:0] exp;
|
logic [135:0] sig; // significand 34 digits
|
logic [135:0] sig; // significand 34 digits
|
} DFP128U;
|
} DFP128U;
|
|
|
// Normalizer output to rounding, one extra digit
|
// Normalizer output to rounding, one extra digit
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [11:0] exp;
|
logic [11:0] exp;
|
logic [103:0] sig; // significand 26 digits
|
logic [103:0] sig; // significand 26 digits
|
} DFP96UN;
|
} DFP96UN;
|
|
|
// Normalizer output to rounding, one extra digit
|
// Normalizer output to rounding, one extra digit
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [13:0] exp;
|
logic [13:0] exp;
|
logic [139:0] sig; // significand 35 digits
|
logic [139:0] sig; // significand 35 digits
|
} DFP128UN;
|
} DFP128UN;
|
|
|
// 96-bit Double width significand, normalizer input
|
// 96-bit Double width significand, normalizer input
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [11:0] exp;
|
logic [11:0] exp;
|
logic [207:0] sig; // significand 50+ 1 lead, 1-trail digit
|
logic [207:0] sig; // significand 50+ 1 lead, 1-trail digit
|
} DFP96UD;
|
} DFP96UD;
|
|
|
// 128-bit Double width significand, normalizer input
|
// 128-bit Double width significand, normalizer input
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [13:0] exp;
|
logic [13:0] exp;
|
logic [279:0] sig; // significand 68+ 1 lead, 1-trail digit
|
logic [279:0] sig; // significand 68+ 1 lead, 1-trail digit
|
} DFP128UD;
|
} DFP128UD;
|
|
|
typedef logic [9:0] DFP64EXP;
|
typedef logic [9:0] DFP64EXP;
|
typedef logic [63:0] DFP64SIG;
|
typedef logic [63:0] DFP64SIG;
|
|
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic sign;
|
logic sign;
|
logic [4:0] combo;
|
logic [4:0] combo;
|
logic [7:0] expc; // exponent continuation field
|
logic [7:0] expc; // exponent continuation field
|
logic [49:0] sigc; // significand continuation field
|
logic [49:0] sigc; // significand continuation field
|
} DFP64;
|
} DFP64;
|
|
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [9:0] exp;
|
logic [9:0] exp;
|
logic [63:0] sig; // significand 16 digits
|
logic [63:0] sig; // significand 16 digits
|
} DFP64U;
|
} DFP64U;
|
|
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [9:0] exp;
|
logic [9:0] exp;
|
logic [67:0] sig; // significand 17 digits
|
logic [67:0] sig; // significand 17 digits
|
} DFP64UN;
|
} DFP64UN;
|
|
|
typedef struct packed
|
typedef struct packed
|
{
|
{
|
logic nan;
|
logic nan;
|
logic qnan;
|
logic qnan;
|
logic snan;
|
logic snan;
|
logic infinity;
|
logic infinity;
|
logic sign;
|
logic sign;
|
logic [9:0] exp;
|
logic [9:0] exp;
|
logic [127:0] sig; // significand 32 digits
|
logic [127:0] sig; // significand 32 digits
|
} DFP64UD;
|
} DFP64UD;
|
|
|
|
typedef struct packed
|
|
{
|
|
logic sign;
|
|
logic [4:0] combo;
|
|
logic [5:0] expc; // exponent continuation field
|
|
logic [19:0] sigc; // significand continuation field
|
|
} DFP32;
|
|
|
|
typedef struct packed
|
|
{
|
|
logic nan;
|
|
logic qnan;
|
|
logic snan;
|
|
logic infinity;
|
|
logic sign;
|
|
logic [7:0] exp;
|
|
logic [27:0] sig; // significand 7 digits
|
|
} DFP32U;
|
|
|
|
typedef struct packed
|
|
{
|
|
logic nan;
|
|
logic qnan;
|
|
logic snan;
|
|
logic infinity;
|
|
logic sign;
|
|
logic [7:0] exp;
|
|
logic [31:0] sig; // significand 8 digits
|
|
} DFP32UN;
|
|
|
|
typedef struct packed
|
|
{
|
|
logic nan;
|
|
logic qnan;
|
|
logic snan;
|
|
logic infinity;
|
|
logic sign;
|
|
logic [7:0] exp;
|
|
logic [55:0] sig; // significand 14 digits
|
|
} DFP32UD;
|
|
|
endpackage
|
endpackage
|
|
|
