Initial commit of OpenSPARC T2 design and verification files.

[OpenSPARC-T2-DV] / design / sys / iop / niu / rtl / niu_65data_ecc_correct.v

// ========== Copyright Header Begin ==========================================
// 
// OpenSPARC T2 Processor File: niu_65data_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 ============================================
// ****************************************************************************
//                Copyright (c) 2002 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_65data_ecc_check.sv
//        Version : /main/1
//    Last Update : 03/25/04 12:59:19 loj
// ****************************************************************************
//  Module      :  ecc_65data_ecc_check
//  Description :  Syndrome Gen. and Correction Circuitry for SEC-DED code
//                 For SEC and SEC-DED, din[72:0] refers to 
//                 {data bits[64:0], check bits[7:0]}.
//                 dout [72:0] refers to {data bits[64:0], check bits[7:0]} 
//                 if the -p switch is not set and
//                 {data bits[64:0]} if the -p switch is set.
//                 Order of bits in din and dout [72:0] are the same as 
//                 dout[72:0] of the ecc_generate module (-p not set).
//
//                 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
// 03/25/04    loj     Initial verilog generated from ECC automation script
// 12/20/04    loj     Changed the file name to niu_zcp_65data_ecc_correct.
// 12/20/04    loj     Added ecc_chk_dis bit and related logic.
// 12/23/04    loj     Changed file and module name 
//                     from niu_zcp_65data_ecc_correct
//                     to   niu_65data_ecc_correct.
//
// ****************************************************************************


module niu_65data_ecc_correct (ecc_chk_dis, din, dout, no_error, error, corr_error, uncorr_error);

input         ecc_chk_dis;
input  [72:0] din;
output [72:0] dout;
output        no_error;
output        error;
output        corr_error;
output        uncorr_error;

wire [7:0] syn;
assign syn[7] = din[70] ^ din[67] ^ din[65] ^ din[62] ^ din[60] ^ din[57] ^ din[54] ^ din[51] ^ din[48] ^ din[46] ^ din[44] ^ din[40] ^ din[38] ^ din[36] ^ din[32] ^ din[31] ^ din[27] ^ din[24] ^ din[23] ^ din[19] ^ din[18] ^ din[15] ^ din[13] ^ din[12] ^ din[10] ^ din[9] ^ din[7];
assign syn[6] = din[70] ^ din[68] ^ din[65] ^ din[62] ^ din[59] ^ din[57] ^ din[55] ^ din[52] ^ din[49] ^ din[47] ^ din[43] ^ din[41] ^ din[39] ^ din[35] ^ din[33] ^ din[30] ^ din[27] ^ din[26] ^ din[22] ^ din[19] ^ din[17] ^ din[15] ^ din[14] ^ din[12] ^ din[10] ^ din[9] ^ din[6];
assign syn[5] = din[71] ^ din[68] ^ din[65] ^ din[63] ^ din[60] ^ din[58] ^ din[54] ^ din[52] ^ din[49] ^ din[46] ^ din[44] ^ din[42] ^ din[38] ^ din[37] ^ din[34] ^ din[30] ^ din[29] ^ din[25] ^ din[22] ^ din[21] ^ din[20] ^ din[15] ^ din[14] ^ din[12] ^ din[11] ^ din[9] ^ din[8] ^ din[5];
assign syn[4] = din[71] ^ din[68] ^ din[66] ^ din[63] ^ din[60] ^ din[57] ^ din[56] ^ din[53] ^ din[50] ^ din[47] ^ din[45] ^ din[41] ^ din[39] ^ din[36] ^ din[33] ^ din[31] ^ din[28] ^ din[25] ^ din[24] ^ din[20] ^ din[18] ^ din[16] ^ din[14] ^ din[12] ^ din[11] ^ din[9] ^ din[4];
assign syn[3] = din[71] ^ din[69] ^ din[66] ^ din[64] ^ din[61] ^ din[58] ^ din[55] ^ din[52] ^ din[50] ^ din[47] ^ din[44] ^ din[42] ^ din[40] ^ din[36] ^ din[35] ^ din[32] ^ din[28] ^ din[26] ^ din[23] ^ din[21] ^ din[19] ^ din[16] ^ din[14] ^ din[13] ^ din[11] ^ din[9] ^ din[8] ^ din[3];
assign syn[2] = din[72] ^ din[69] ^ din[66] ^ din[63] ^ din[61] ^ din[58] ^ din[55] ^ din[53] ^ din[51] ^ din[48] ^ din[45] ^ din[43] ^ din[39] ^ din[38] ^ din[34] ^ din[31] ^ din[29] ^ din[27] ^ din[23] ^ din[22] ^ din[17] ^ din[16] ^ din[14] ^ din[13] ^ din[11] ^ din[10] ^ din[8] ^ din[2];
assign syn[1] = din[72] ^ din[69] ^ din[67] ^ din[64] ^ din[62] ^ din[59] ^ din[56] ^ din[53] ^ din[50] ^ din[48] ^ din[46] ^ din[42] ^ din[40] ^ din[37] ^ din[34] ^ din[33] ^ din[30] ^ din[26] ^ din[24] ^ din[20] ^ din[17] ^ din[16] ^ din[15] ^ din[13] ^ din[11] ^ din[10] ^ din[8] ^ din[1];
assign syn[0] = din[72] ^ din[70] ^ din[67] ^ din[64] ^ din[61] ^ din[59] ^ din[56] ^ din[54] ^ din[51] ^ din[49] ^ din[45] ^ din[43] ^ din[41] ^ din[37] ^ din[35] ^ din[32] ^ din[29] ^ din[28] ^ din[25] ^ din[21] ^ din[18] ^ din[16] ^ din[15] ^ din[13] ^ din[12] ^ din[10] ^ din[8] ^ din[0];

assign dout[72] =  ecc_chk_dis ? din[72] : din[72] ^ (syn == 8'b00000111); 
assign dout[71] =  ecc_chk_dis ? din[71] : din[71] ^ (syn == 8'b00111000); 
assign dout[70] =  ecc_chk_dis ? din[70] : din[70] ^ (syn == 8'b11000001); 
assign dout[69] =  ecc_chk_dis ? din[69] : din[69] ^ (syn == 8'b00001110); 
assign dout[68] =  ecc_chk_dis ? din[68] : din[68] ^ (syn == 8'b01110000); 
assign dout[67] =  ecc_chk_dis ? din[67] : din[67] ^ (syn == 8'b10000011); 
assign dout[66] =  ecc_chk_dis ? din[66] : din[66] ^ (syn == 8'b00011100); 
assign dout[65] =  ecc_chk_dis ? din[65] : din[65] ^ (syn == 8'b11100000); 
assign dout[64] =  ecc_chk_dis ? din[64] : din[64] ^ (syn == 8'b00001011); 
assign dout[63] =  ecc_chk_dis ? din[63] : din[63] ^ (syn == 8'b00110100); 
assign dout[62] =  ecc_chk_dis ? din[62] : din[62] ^ (syn == 8'b11000010); 
assign dout[61] =  ecc_chk_dis ? din[61] : din[61] ^ (syn == 8'b00001101); 
assign dout[60] =  ecc_chk_dis ? din[60] : din[60] ^ (syn == 8'b10110000); 
assign dout[59] =  ecc_chk_dis ? din[59] : din[59] ^ (syn == 8'b01000011); 
assign dout[58] =  ecc_chk_dis ? din[58] : din[58] ^ (syn == 8'b00101100); 
assign dout[57] =  ecc_chk_dis ? din[57] : din[57] ^ (syn == 8'b11010000); 
assign dout[56] =  ecc_chk_dis ? din[56] : din[56] ^ (syn == 8'b00010011); 
assign dout[55] =  ecc_chk_dis ? din[55] : din[55] ^ (syn == 8'b01001100); 
assign dout[54] =  ecc_chk_dis ? din[54] : din[54] ^ (syn == 8'b10100001); 
assign dout[53] =  ecc_chk_dis ? din[53] : din[53] ^ (syn == 8'b00010110); 
assign dout[52] =  ecc_chk_dis ? din[52] : din[52] ^ (syn == 8'b01101000); 
assign dout[51] =  ecc_chk_dis ? din[51] : din[51] ^ (syn == 8'b10000101); 
assign dout[50] =  ecc_chk_dis ? din[50] : din[50] ^ (syn == 8'b00011010); 
assign dout[49] =  ecc_chk_dis ? din[49] : din[49] ^ (syn == 8'b01100001); 
assign dout[48] =  ecc_chk_dis ? din[48] : din[48] ^ (syn == 8'b10000110); 
assign dout[47] =  ecc_chk_dis ? din[47] : din[47] ^ (syn == 8'b01011000); 
assign dout[46] =  ecc_chk_dis ? din[46] : din[46] ^ (syn == 8'b10100010); 
assign dout[45] =  ecc_chk_dis ? din[45] : din[45] ^ (syn == 8'b00010101); 
assign dout[44] =  ecc_chk_dis ? din[44] : din[44] ^ (syn == 8'b10101000); 
assign dout[43] =  ecc_chk_dis ? din[43] : din[43] ^ (syn == 8'b01000101); 
assign dout[42] =  ecc_chk_dis ? din[42] : din[42] ^ (syn == 8'b00101010); 
assign dout[41] =  ecc_chk_dis ? din[41] : din[41] ^ (syn == 8'b01010001); 
assign dout[40] =  ecc_chk_dis ? din[40] : din[40] ^ (syn == 8'b10001010); 
assign dout[39] =  ecc_chk_dis ? din[39] : din[39] ^ (syn == 8'b01010100); 
assign dout[38] =  ecc_chk_dis ? din[38] : din[38] ^ (syn == 8'b10100100); 
assign dout[37] =  ecc_chk_dis ? din[37] : din[37] ^ (syn == 8'b00100011); 
assign dout[36] =  ecc_chk_dis ? din[36] : din[36] ^ (syn == 8'b10011000); 
assign dout[35] =  ecc_chk_dis ? din[35] : din[35] ^ (syn == 8'b01001001); 
assign dout[34] =  ecc_chk_dis ? din[34] : din[34] ^ (syn == 8'b00100110); 
assign dout[33] =  ecc_chk_dis ? din[33] : din[33] ^ (syn == 8'b01010010); 
assign dout[32] =  ecc_chk_dis ? din[32] : din[32] ^ (syn == 8'b10001001); 
assign dout[31] =  ecc_chk_dis ? din[31] : din[31] ^ (syn == 8'b10010100); 
assign dout[30] =  ecc_chk_dis ? din[30] : din[30] ^ (syn == 8'b01100010); 
assign dout[29] =  ecc_chk_dis ? din[29] : din[29] ^ (syn == 8'b00100101); 
assign dout[28] =  ecc_chk_dis ? din[28] : din[28] ^ (syn == 8'b00011001); 
assign dout[27] =  ecc_chk_dis ? din[27] : din[27] ^ (syn == 8'b11000100); 
assign dout[26] =  ecc_chk_dis ? din[26] : din[26] ^ (syn == 8'b01001010); 
assign dout[25] =  ecc_chk_dis ? din[25] : din[25] ^ (syn == 8'b00110001); 
assign dout[24] =  ecc_chk_dis ? din[24] : din[24] ^ (syn == 8'b10010010); 
assign dout[23] =  ecc_chk_dis ? din[23] : din[23] ^ (syn == 8'b10001100); 
assign dout[22] =  ecc_chk_dis ? din[22] : din[22] ^ (syn == 8'b01100100); 
assign dout[21] =  ecc_chk_dis ? din[21] : din[21] ^ (syn == 8'b00101001); 
assign dout[20] =  ecc_chk_dis ? din[20] : din[20] ^ (syn == 8'b00110010); 
assign dout[19] =  ecc_chk_dis ? din[19] : din[19] ^ (syn == 8'b11001000); 
assign dout[18] =  ecc_chk_dis ? din[18] : din[18] ^ (syn == 8'b10010001); 
assign dout[17] =  ecc_chk_dis ? din[17] : din[17] ^ (syn == 8'b01000110); 
assign dout[16] =  ecc_chk_dis ? din[16] : din[16] ^ (syn == 8'b00011111); 
assign dout[15] =  ecc_chk_dis ? din[15] : din[15] ^ (syn == 8'b11100011); 
assign dout[14] =  ecc_chk_dis ? din[14] : din[14] ^ (syn == 8'b01111100); 
assign dout[13] =  ecc_chk_dis ? din[13] : din[13] ^ (syn == 8'b10001111); 
assign dout[12] =  ecc_chk_dis ? din[12] : din[12] ^ (syn == 8'b11110001); 
assign dout[11] =  ecc_chk_dis ? din[11] : din[11] ^ (syn == 8'b00111110); 
assign dout[10] =  ecc_chk_dis ? din[10] : din[10] ^ (syn == 8'b11000111); 
assign dout[9]  =  ecc_chk_dis ? din[9]  : din[9]  ^ (syn == 8'b11111000); 
assign dout[8]  =  ecc_chk_dis ? din[8]  : din[8]  ^ (syn == 8'b00101111); 
assign dout[7]  =  ecc_chk_dis ? din[7]  : din[7]  ^ (syn == 8'b10000000); 
assign dout[6]  =  ecc_chk_dis ? din[6]  : din[6]  ^ (syn == 8'b01000000); 
assign dout[5]  =  ecc_chk_dis ? din[5]  : din[5]  ^ (syn == 8'b00100000); 
assign dout[4]  =  ecc_chk_dis ? din[4]  : din[4]  ^ (syn == 8'b00010000); 
assign dout[3]  =  ecc_chk_dis ? din[3]  : din[3]  ^ (syn == 8'b00001000); 
assign dout[2]  =  ecc_chk_dis ? din[2]  : din[2]  ^ (syn == 8'b00000100); 
assign dout[1]  =  ecc_chk_dis ? din[1]  : din[1]  ^ (syn == 8'b00000010); 
assign dout[0]  =  ecc_chk_dis ? din[0]  : din[0]  ^ (syn == 8'b00000001); 

assign no_error = ecc_chk_dis ? 1 : (syn == 8'b00000000);
assign error    = (no_error != 1);
assign corr_error   = ecc_chk_dis ? 0 : ( 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'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 = ecc_chk_dis ? 0 : (corr_error!=1 && no_error!=1);

endmodule