Initial commit of OpenSPARC T2 design and verification files.

[OpenSPARC-T2-DV] / verif / env / siu / vera / packets / siu_common.vr

// ========== Copyright Header Begin ==========================================
// 
// OpenSPARC T2 Processor File: siu_common.vr
// 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 ============================================
#include <vera_defines.vrh>

function reg[2:0] pbank_sel(reg[3:0] pbank, reg[2:0] bank_sel)
{
	reg [2:0] result = bank_sel;

	case (pbank) {
		4'b0001: result[2:1] = 2'b0; 
		4'b0010: result[2:1] = 2'b01;
		4'b0011: result[2] = 1'b0;
		4'b0100: result[2:1] = 2'b10;
		4'b0101: result[2:1] = {bank_sel[1], 1'b0};
		4'b0110: result[2:1] = {bank_sel[1], ~bank_sel[1]};
		4'b1000: result[2:1] = 2'b11;
		4'b1001: result[2:1] = {bank_sel[1], bank_sel[1]};
		4'b1010: result[1] = 1'b1;
		4'b1100: result[2:1] = {1'b1, bank_sel[1]};
		4'b1111: result = bank_sel;
		default: 
			printf ("ERROR! illegal partial bank selections!\n");
	}

	pbank_sel = result;
}

function reg[1:0] interleave_parity(reg[39:0] data, integer size)
{
	integer i;
	reg oparity = 0;
	reg eparity = 0;

	size = (size > 40) ? 40 : size;

	for (i=0; i<size; i=i+2) eparity ^= data[i];	
	for (i=1; i<size; i=i+2) oparity ^= data[i];	
				
	interleave_parity = {~oparity, ~eparity};
}

function reg[5:0] gen_ctag_ecc(reg[15:0] data)
{
	bit [5:0] temp_ecc;

        temp_ecc[0] =  data[0] ^ data[1] ^ data[3] ^ data[4] ^ data[6] ^ data[8] ^
               data[10] ^ data[11] ^ data[13] ^ data[15];

        temp_ecc[1] = data[0] ^ data[2] ^ data[3] ^ data[5] ^ data[6] ^ data[9] ^
               data[10] ^ data[12] ^ data[13];

        temp_ecc[2] = data[1] ^ data[2] ^ data[3] ^ data[7] ^ data[8] ^ data[9] ^
               data[10] ^ data[14] ^ data[15];

        temp_ecc[3] = data[4] ^ data[5] ^ data[6] ^ data[7] ^ data[8] ^ data[9] ^
                data[10];

        temp_ecc[4] = data[11] ^ data[12] ^ data[13] ^ data[14] ^ data[15];

	//temp_ecc[5] = ~(temp_ecc[0] ^ temp_ecc[1] ^ temp_ecc[2] ^ temp_ecc[3] ^ temp_ecc[4]);
	temp_ecc[5] = data[0] ^ data[1] ^ data[2] ^ data[3] ^ temp_ecc[0] ^ temp_ecc[1] ^ temp_ecc[2];
        gen_ctag_ecc = temp_ecc;
}

function reg gen_beparity(reg[15:0] data)
{
   bit temp_beparity;
   
        temp_beparity =  data[0] ^ data[1] ^ data[2] ^ data[3] ^ data[4] ^ data[5] ^ data[6] ^ data[7] ^ data[8] ^ data[9] ^ data[10] ^ data[11] ^ data[12] ^ data[13] ^ data[14] ^ data[15];
        gen_beparity = !(temp_beparity);
}