Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / design / sys / iop / niu / rtl / niu_txc_ecc_correct.v
// ========== Copyright Header Begin ==========================================
//
// OpenSPARC T2 Processor File: niu_txc_ecc_correct.v
// Copyright (C) 1995-2007 Sun Microsystems, Inc. All Rights Reserved
// 4150 Network Circle, Santa Clara, California 95054, U.S.A.
//
// * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
//
// This program is free software; you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation; version 2 of the License.
//
// This program 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, write to the Free Software
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
//
// For the avoidance of doubt, and except that if any non-GPL license
// choice is available it will apply instead, Sun elects to use only
// the General Public License version 2 (GPLv2) at this time for any
// software where a choice of GPL license versions is made
// available with the language indicating that GPLv2 or any later version
// may be used, or where a choice of which version of the GPL is applied is
// otherwise unspecified.
//
// Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
// CA 95054 USA or visit www.sun.com if you need additional information or
// have any questions.
//
// ========== Copyright Header End ============================================
`timescale 1ns/1ns
// ****************************************************************************
// Copyright (c) 2001 by Sun Microsystems Inc.
//
// All rights reserved. No part of this design may be reproduced stored
// in a retrieval system, or transmitted, in any form or by any means,
// electronic, mechanical, photocopying, recording, or otherwise, without
// prior written permission of Sun Microsystems, Inc.
//
// Sun Proprietary/Confidential
//
// ****************************************************************************
// File Name : ecc_correct.sv
// Version : /main/1
// Last Update : 10/27/05 16:26:13 rp144381
// ****************************************************************************
// Module : ecc_correct
// Description : Correction Circuitry for SEC-DED code
// For SEC and SEC-DED implementations, din and dout [75:0]
// refer to {data bits[67:0], check bits[7:0]}.
// For Hamming implementation, the check bits are located in
// all possible values of 75-(a power of 2). Complete
// layout given at end of file.
// Order of bits in din and dout [75:0] are the same as
// dout[75:0] of the ecc_generate module.
// Error Signals: error covers CE+UE events, corr_error
// covers CE events and uncorr_error covers UE events.
// This module is used while reading data
// ***************************************************************************
// Revision History
// Date Author Description
// 10/27/05 rp144381 Initial verilog generated from ECC automation script
// ****************************************************************************
module niu_txc_ecc_correct (din, syn, dout, no_error, error, corr_error, uncorr_error);
input [75:0] din;
input [7:0] syn;
output [75:0] dout;
output no_error;
output error;
output corr_error;
output uncorr_error;
assign dout[75] = din[75] ^ (syn == 8'b00000111);
assign dout[74] = din[74] ^ (syn == 8'b00111000);
assign dout[73] = din[73] ^ (syn == 8'b11000001);
assign dout[72] = din[72] ^ (syn == 8'b00001110);
assign dout[71] = din[71] ^ (syn == 8'b01110000);
assign dout[70] = din[70] ^ (syn == 8'b10000011);
assign dout[69] = din[69] ^ (syn == 8'b00011100);
assign dout[68] = din[68] ^ (syn == 8'b11100000);
assign dout[67] = din[67] ^ (syn == 8'b00001011);
assign dout[66] = din[66] ^ (syn == 8'b00110100);
assign dout[65] = din[65] ^ (syn == 8'b11000010);
assign dout[64] = din[64] ^ (syn == 8'b00001101);
assign dout[63] = din[63] ^ (syn == 8'b10110000);
assign dout[62] = din[62] ^ (syn == 8'b01000011);
assign dout[61] = din[61] ^ (syn == 8'b00101100);
assign dout[60] = din[60] ^ (syn == 8'b11010000);
assign dout[59] = din[59] ^ (syn == 8'b00010011);
assign dout[58] = din[58] ^ (syn == 8'b01001100);
assign dout[57] = din[57] ^ (syn == 8'b10100001);
assign dout[56] = din[56] ^ (syn == 8'b00010110);
assign dout[55] = din[55] ^ (syn == 8'b01101000);
assign dout[54] = din[54] ^ (syn == 8'b10000101);
assign dout[53] = din[53] ^ (syn == 8'b00011010);
assign dout[52] = din[52] ^ (syn == 8'b01100001);
assign dout[51] = din[51] ^ (syn == 8'b10000110);
assign dout[50] = din[50] ^ (syn == 8'b01011000);
assign dout[49] = din[49] ^ (syn == 8'b10100010);
assign dout[48] = din[48] ^ (syn == 8'b00010101);
assign dout[47] = din[47] ^ (syn == 8'b10101000);
assign dout[46] = din[46] ^ (syn == 8'b01000101);
assign dout[45] = din[45] ^ (syn == 8'b00101010);
assign dout[44] = din[44] ^ (syn == 8'b01010001);
assign dout[43] = din[43] ^ (syn == 8'b10001010);
assign dout[42] = din[42] ^ (syn == 8'b01010100);
assign dout[41] = din[41] ^ (syn == 8'b10100100);
assign dout[40] = din[40] ^ (syn == 8'b00100011);
assign dout[39] = din[39] ^ (syn == 8'b10011000);
assign dout[38] = din[38] ^ (syn == 8'b01001001);
assign dout[37] = din[37] ^ (syn == 8'b00100110);
assign dout[36] = din[36] ^ (syn == 8'b01010010);
assign dout[35] = din[35] ^ (syn == 8'b10001001);
assign dout[34] = din[34] ^ (syn == 8'b10010100);
assign dout[33] = din[33] ^ (syn == 8'b01100010);
assign dout[32] = din[32] ^ (syn == 8'b00100101);
assign dout[31] = din[31] ^ (syn == 8'b00011001);
assign dout[30] = din[30] ^ (syn == 8'b11000100);
assign dout[29] = din[29] ^ (syn == 8'b01001010);
assign dout[28] = din[28] ^ (syn == 8'b00110001);
assign dout[27] = din[27] ^ (syn == 8'b10010010);
assign dout[26] = din[26] ^ (syn == 8'b10001100);
assign dout[25] = din[25] ^ (syn == 8'b01100100);
assign dout[24] = din[24] ^ (syn == 8'b00101001);
assign dout[23] = din[23] ^ (syn == 8'b00110010);
assign dout[22] = din[22] ^ (syn == 8'b11001000);
assign dout[21] = din[21] ^ (syn == 8'b10010001);
assign dout[20] = din[20] ^ (syn == 8'b01000110);
assign dout[19] = din[19] ^ (syn == 8'b00011111);
assign dout[18] = din[18] ^ (syn == 8'b11100011);
assign dout[17] = din[17] ^ (syn == 8'b01111100);
assign dout[16] = din[16] ^ (syn == 8'b10001111);
assign dout[15] = din[15] ^ (syn == 8'b11110001);
assign dout[14] = din[14] ^ (syn == 8'b00111110);
assign dout[13] = din[13] ^ (syn == 8'b11000111);
assign dout[12] = din[12] ^ (syn == 8'b11111000);
assign dout[11] = din[11] ^ (syn == 8'b00101111);
assign dout[10] = din[10] ^ (syn == 8'b11010011);
assign dout[9] = din[9] ^ (syn == 8'b10111100);
assign dout[8] = din[8] ^ (syn == 8'b01001111);
assign dout[7] = din[7] ^ (syn == 8'b10000000);
assign dout[6] = din[6] ^ (syn == 8'b01000000);
assign dout[5] = din[5] ^ (syn == 8'b00100000);
assign dout[4] = din[4] ^ (syn == 8'b00010000);
assign dout[3] = din[3] ^ (syn == 8'b00001000);
assign dout[2] = din[2] ^ (syn == 8'b00000100);
assign dout[1] = din[1] ^ (syn == 8'b00000010);
assign dout[0] = din[0] ^ (syn == 8'b00000001);
assign no_error = (syn == 8'b00000000);
assign error = (no_error != 1);
assign corr_error = ( syn == 8'b00000001 || syn == 8'b00000010 || syn == 8'b00000100 || syn == 8'b00001000 || syn == 8'b00010000 || syn == 8'b00100000 || syn == 8'b01000000 || syn == 8'b10000000 || syn == 8'b01001111 || syn == 8'b10111100 || syn == 8'b11010011 || syn == 8'b00101111 || syn == 8'b11111000 || syn == 8'b11000111 || syn == 8'b00111110 || syn == 8'b11110001 || syn == 8'b10001111 || syn == 8'b01111100 || syn == 8'b11100011 || syn == 8'b00011111 || syn == 8'b01000110 || syn == 8'b10010001 || syn == 8'b11001000 || syn == 8'b00110010 || syn == 8'b00101001 || syn == 8'b01100100 || syn == 8'b10001100 || syn == 8'b10010010 || syn == 8'b00110001 || syn == 8'b01001010 || syn == 8'b11000100 || syn == 8'b00011001 || syn == 8'b00100101 || syn == 8'b01100010 || syn == 8'b10010100 || syn == 8'b10001001 || syn == 8'b01010010 || syn == 8'b00100110 || syn == 8'b01001001 || syn == 8'b10011000 || syn == 8'b00100011 || syn == 8'b10100100 || syn == 8'b01010100 || syn == 8'b10001010 || syn == 8'b01010001 || syn == 8'b00101010 || syn == 8'b01000101 || syn == 8'b10101000 || syn == 8'b00010101 || syn == 8'b10100010 || syn == 8'b01011000 || syn == 8'b10000110 || syn == 8'b01100001 || syn == 8'b00011010 || syn == 8'b10000101 || syn == 8'b01101000 || syn == 8'b00010110 || syn == 8'b10100001 || syn == 8'b01001100 || syn == 8'b00010011 || syn == 8'b11010000 || syn == 8'b00101100 || syn == 8'b01000011 || syn == 8'b10110000 || syn == 8'b00001101 || syn == 8'b11000010 || syn == 8'b00110100 || syn == 8'b00001011 || syn == 8'b11100000 || syn == 8'b00011100 || syn == 8'b10000011 || syn == 8'b01110000 || syn == 8'b00001110 || syn == 8'b11000001 || syn == 8'b00111000 || syn == 8'b00000111);
assign uncorr_error = (corr_error!=1 && no_error!=1);
endmodule