Initial commit of OpenSPARC T2 design and verification files.

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

// ========== Copyright Header Begin ==========================================
// 
// OpenSPARC T2 Processor File: niu_70data_ecc_check.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) 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 : niu_70data_ecc_check.sv
//        Version : /main/1
//    Last Update : 07/19/04 19:33:18 loj
// ****************************************************************************
//  Module      :  niu_70data_ecc_check
//  Description :  Syndrome Gen. and Correction Circuitry for SEC-DED code
//                 For SEC and SEC-DED, din[77:0] refers to 
//                 {data bits[69:0], check bits[7:0]}.
//                 dout [77:0] refers to {data bits[69:0], check bits[7:0]} 
//                 if the -p switch is not set and
//                 {data bits[69:0]} if the -p switch is set.
//                 Order of bits in din and dout [77:0] are the same as 
//                 dout[77: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
// 07/19/04    loj   Initial verilog generated from ECC automation script
// ****************************************************************************


module niu_70data_ecc_check (din, dout, no_error, error, corr_error, uncorr_error);


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

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

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