// ============================================================================
|
// ============================================================================
|
// __
|
// __
|
// \\__/ o\ (C) 2020 Robert Finch, Waterloo
|
// \\__/ o\ (C) 2020 Robert Finch, Waterloo
|
// \ __ / All rights reserved.
|
// \ __ / All rights reserved.
|
// \/_// robfinch@finitron.ca
|
// \/_// robfinch@finitron.ca
|
// ||
|
// ||
|
//
|
//
|
// fp.sv
|
// fp.sv
|
//
|
//
|
// 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 .
|
//
|
//
|
// ============================================================================
|
// ============================================================================
|
//
|
//
|
package fp;
|
package fp;
|
|
|
|
`ifndef FPWID
|
|
`define FPWID 64
|
|
`endif
|
|
|
`define QINFOS 23'h7FC000 // info
|
`define QINFOS 23'h7FC000 // info
|
`define QSUBINF 4'd1
|
`define QSUBINF 4'd1
|
`define QINFDIV 4'd2
|
`define QINFDIV 4'd2
|
`define QZEROZERO 4'd3
|
`define QZEROZERO 4'd3
|
`define QINFZERO 4'd4
|
`define QINFZERO 4'd4
|
`define QSQRTINF 4'd5
|
`define QSQRTINF 4'd5
|
`define QSQRTNEG 4'd6
|
`define QSQRTNEG 4'd6
|
|
|
`define QSUBINFS 31'h7FC00001 // - infinity - infinity
|
`define QSUBINFS 31'h7FC00001 // - infinity - infinity
|
`define QINFDIVS 31'h7FC00002 // - infinity / infinity
|
`define QINFDIVS 31'h7FC00002 // - infinity / infinity
|
`define QZEROZEROS 31'h7FC00003 // - zero / zero
|
`define QZEROZEROS 31'h7FC00003 // - zero / zero
|
`define QINFZEROS 31'h7FC00004 // - infinity X zero
|
`define QINFZEROS 31'h7FC00004 // - infinity X zero
|
`define QSQRTINFS 31'h7FC00005 // - square root of infinity
|
`define QSQRTINFS 31'h7FC00005 // - square root of infinity
|
`define QSQRTNEGS 31'h7FC00006 // - square root of negaitve number
|
`define QSQRTNEGS 31'h7FC00006 // - square root of negaitve number
|
|
|
`define QINFOD 52'hFF80000000000 // info
|
`define QINFOD 52'hFF80000000000 // info
|
`define QSUBINFD 63'h7FF0000000000001 // - infinity - infinity
|
`define QSUBINFD 63'h7FF0000000000001 // - infinity - infinity
|
`define QINFDIVD 63'h7FF0000000000002 // - infinity / infinity
|
`define QINFDIVD 63'h7FF0000000000002 // - infinity / infinity
|
`define QZEROZEROD 63'h7FF0000000000003 // - zero / zero
|
`define QZEROZEROD 63'h7FF0000000000003 // - zero / zero
|
`define QINFZEROD 63'h7FF0000000000004 // - infinity X zero
|
`define QINFZEROD 63'h7FF0000000000004 // - infinity X zero
|
`define QSQRTINFD 63'h7FF0000000000005 // - square root of infinity
|
`define QSQRTINFD 63'h7FF0000000000005 // - square root of infinity
|
`define QSQRTNEGD 63'h7FF0000000000006 // - square root of negaitve number
|
`define QSQRTNEGD 63'h7FF0000000000006 // - square root of negaitve number
|
|
|
`define QINFODX 64'hFF800000_00000000 // info
|
`define QINFODX 64'hFF800000_00000000 // info
|
`define QSUBINFDX 79'h7FFF000000_0000000001 // - infinity - infinity
|
`define QSUBINFDX 79'h7FFF000000_0000000001 // - infinity - infinity
|
`define QINFDIVDX 79'h7FFF000000_0000000002 // - infinity / infinity
|
`define QINFDIVDX 79'h7FFF000000_0000000002 // - infinity / infinity
|
`define QZEROZERODX 79'h7FFF000000_0000000003 // - zero / zero
|
`define QZEROZERODX 79'h7FFF000000_0000000003 // - zero / zero
|
`define QINFZERODX 79'h7FFF000000_0000000004 // - infinity X zero
|
`define QINFZERODX 79'h7FFF000000_0000000004 // - infinity X zero
|
`define QSQRTINFDX 79'h7FFF000000_0000000005 // - square root of infinity
|
`define QSQRTINFDX 79'h7FFF000000_0000000005 // - square root of infinity
|
`define QSQRTNEGDX 79'h7FFF000000_0000000006 // - square root of negaitve number
|
`define QSQRTNEGDX 79'h7FFF000000_0000000006 // - square root of negaitve number
|
|
|
`define QINFOQ 112'hFF800000_0000000000_0000000000 // info
|
`define QINFOQ 112'hFF800000_0000000000_0000000000 // info
|
`define QSUBINFQ 127'h7F_FF00000000_0000000000_0000000001 // - infinity - infinity
|
`define QSUBINFQ 127'h7F_FF00000000_0000000000_0000000001 // - infinity - infinity
|
`define QINFDIVQ 127'h7F_FF00000000_0000000000_0000000002 // - infinity / infinity
|
`define QINFDIVQ 127'h7F_FF00000000_0000000000_0000000002 // - infinity / infinity
|
`define QZEROZEROQ 127'h7F_FF00000000_0000000000_0000000003 // - zero / zero
|
`define QZEROZEROQ 127'h7F_FF00000000_0000000000_0000000003 // - zero / zero
|
`define QINFZEROQ 127'h7F_FF00000000_0000000000_0000000004 // - infinity X zero
|
`define QINFZEROQ 127'h7F_FF00000000_0000000000_0000000004 // - infinity X zero
|
`define QSQRTINFQ 127'h7F_FF00000000_0000000000_0000000005 // - square root of infinity
|
`define QSQRTINFQ 127'h7F_FF00000000_0000000000_0000000005 // - square root of infinity
|
`define QSQRTNEGQ 127'h7F_FF00000000_0000000000_0000000006 // - square root of negaitve number
|
`define QSQRTNEGQ 127'h7F_FF00000000_0000000000_0000000006 // - square root of negaitve number
|
|
|
`define POINT5S 32'h3F000000
|
`define POINT5S 32'h3F000000
|
`define POINT5SX 40'h3F80000000
|
`define POINT5SX 40'h3F80000000
|
`define POINT5D 64'h3FE0000000000000
|
`define POINT5D 64'h3FE0000000000000
|
`define POINT5DX 80'h3FFE0000000000000000
|
`define POINT5DX 80'h3FFE0000000000000000
|
`define ZEROS 32'h00000000
|
`define ZEROS 32'h00000000
|
`define ZEROSX 40'h0000000000
|
`define ZEROSX 40'h0000000000
|
`define ZEROD 64'h0000000000000000
|
`define ZEROD 64'h0000000000000000
|
`define ZERODX 80'h00000000000000000000
|
`define ZERODX 80'h00000000000000000000
|
|
|
`define AIN 3'd0
|
`define AIN 3'd0
|
`define BIN 3'd1
|
`define BIN 3'd1
|
`define CIN 3'd2
|
`define CIN 3'd2
|
`define RES 3'd3
|
`define RES 3'd3
|
`define POINT5 3'd4
|
`define POINT5 3'd4
|
`define ZERO 3'd5
|
`define ZERO 3'd5
|
|
|
|
`define SUPPORT_DENORMALS 1'b1
|
`define MIN_LATENCY 1'b1
|
`define MIN_LATENCY 1'b1
|
parameter FPWID = 64;
|
|
|
parameter FPWID = `FPWID;
|
|
|
// This file contains defintions for fields to ease dealing with different fp
|
// This file contains defintions for fields to ease dealing with different fp
|
// widths. Some of the code still needs to be modified to support widths
|
// widths. Some of the code still needs to be modified to support widths
|
// other than standard 32,64 or 80 bit.
|
// other than standard 32,64 or 80 bit.
|
localparam MSB = FPWID-1;
|
localparam MSB = FPWID-1;
|
localparam EMSB = FPWID==128 ? 14 :
|
localparam EMSB = FPWID==128 ? 14 :
|
FPWID==96 ? 14 :
|
FPWID==96 ? 14 :
|
FPWID==80 ? 14 :
|
FPWID==80 ? 14 :
|
FPWID==64 ? 10 :
|
FPWID==64 ? 10 :
|
FPWID==52 ? 10 :
|
FPWID==52 ? 10 :
|
FPWID==48 ? 10 :
|
FPWID==48 ? 10 :
|
FPWID==44 ? 10 :
|
FPWID==44 ? 10 :
|
FPWID==42 ? 10 :
|
FPWID==42 ? 10 :
|
FPWID==40 ? 9 :
|
FPWID==40 ? 9 :
|
FPWID==32 ? 7 :
|
FPWID==32 ? 7 :
|
FPWID==24 ? 6 : 4;
|
FPWID==24 ? 6 : 4;
|
localparam FMSB = FPWID==128 ? (111) :
|
localparam FMSB = FPWID==128 ? (111) :
|
FPWID==96 ? (79) :
|
FPWID==96 ? (79) :
|
FPWID==80 ? (63) :
|
FPWID==80 ? (63) :
|
FPWID==64 ? (51) :
|
FPWID==64 ? (51) :
|
FPWID==52 ? (39) :
|
FPWID==52 ? (39) :
|
FPWID==48 ? (35) :
|
FPWID==48 ? (35) :
|
FPWID==44 ? (31) :
|
FPWID==44 ? (31) :
|
FPWID==42 ? (29) :
|
FPWID==42 ? (29) :
|
FPWID==40 ? (28) :
|
FPWID==40 ? (28) :
|
FPWID==32 ? (22) :
|
FPWID==32 ? (22) :
|
FPWID==24 ? (15) : (9);
|
FPWID==24 ? (15) : (9);
|
localparam FX = (FMSB+2)*2; // the MSB of the expanded fraction
|
localparam FX = (FMSB+2)*2; // the MSB of the expanded fraction
|
localparam EX = FX + 1 + EMSB + 1 + 1 - 1;
|
localparam EX = FX + 1 + EMSB + 1 + 1 - 1;
|
endpackage
|
endpackage
|
|
|