Subversion Repositories ft816float

// ============================================================================

//        __

//   \\__/ o\    (C) 2006-2019  Robert Finch, Waterloo

//    \  __ /    All rights reserved.

//     \/_//     robfinch@finitron.ca

//       ||

//

//      fpDecompReg.v

//    - decompose floating point value with registered outputs

//    - parameterized width

//

//

// 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

// by the Free Software Foundation, either version 3 of the License, or

// (at your option) any later version.

//

// This source file is distributed in the hope that it will be useful,

// but WITHOUT ANY WARRANTY; without even the implied warranty of

// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

// GNU General Public License for more details.

//

// You should have received a copy of the GNU General Public License

// along with this program.  If not, see .

//

// ============================================================================

import fp::*;

module fpDecomp(i, sgn, exp, man, fract, xz, mz, vz, inf, xinf, qnan, snan, nan);

input [MSB:0] i;

output sgn;

output [EMSB:0] exp;

output [FMSB:0] man;

output [FMSB+1:0] fract;        // mantissa with hidden bit recovered

output xz;              // denormalized - exponent is zero

output mz;              // mantissa is zero

output vz;              // value is zero (both exponent and mantissa are zero)

output inf;             // all ones exponent, zero mantissa

output xinf;    // all ones exponent

output qnan;    // nan

output snan;    // signalling nan

output nan;

// Decompose input

assign sgn = i[MSB];

assign exp = i[MSB-1:FMSB+1];

assign man = i[FMSB:0];

assign xz = !(|exp);    // denormalized - exponent is zero

assign mz = !(|man);    // mantissa is zero

assign vz = xz & mz;        // value is zero (both exponent and mantissa are zero)

assign inf = &exp & mz;  // all ones exponent, zero mantissa

assign xinf = &exp;

assign qnan = &exp &  man[FMSB];

assign snan = &exp & !man[FMSB] & !mz;

assign nan = &exp & !mz;

assign fract = {!xz,i[FMSB:0]};

endmodule

module fpDecompReg(clk, ce, i, o, sgn, exp, man, fract, xz, mz, vz, inf, xinf, qnan, snan, nan);

input clk;

input ce;

input [MSB:0] i;

output reg [MSB:0] o;

output reg sgn;

output reg [EMSB:0] exp;

output reg [FMSB:0] man;

output reg [FMSB+1:0] fract;    // mantissa with hidden bit recovered

output reg xz;          // denormalized - exponent is zero

output reg mz;          // mantissa is zero

output reg vz;          // value is zero (both exponent and mantissa are zero)

output reg inf;         // all ones exponent, zero mantissa

output reg xinf;        // all ones exponent

output reg qnan;        // nan

output reg snan;        // signalling nan

output reg nan;

// Decompose input

always @(posedge clk)

        if (ce) begin

                o <= i;

                sgn = i[MSB];

                exp = i[MSB-1:FMSB+1];

                man = i[FMSB:0];

                xz = !(|exp);   // denormalized - exponent is zero

                mz = !(|man);   // mantissa is zero

                vz = xz & mz;       // value is zero (both exponent and mantissa are zero)

                inf = &exp & mz; // all ones exponent, zero mantissa

                xinf = &exp;

                qnan = &exp &  man[FMSB];

                snan = &exp & !man[FMSB] & !mz;

                nan = &exp & !mz;

                fract = {|exp,i[FMSB:0]};

        end

endmodule