Initial commit of OpenSPARC T2 design and verification files.

[OpenSPARC-T2-DV] / verif / env / niu / vera / niu_tokens / niu_txtoken.vr

// ========== Copyright Header Begin ==========================================
// 
// OpenSPARC T2 Processor File: niu_txtoken.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>
#include "pcg_token.vrh"
#include "niu_errclass.vrh"

class CTxToken { // This should be extended from the main token ..
   integer id;
   integer dma_num;
   integer port_num;
   integer pkt_length;
   integer valid;
   integer err_pkt;
   integer port_data_valid;
   bit [63:0] xlate_gather_address[15];
   integer gather_pkt_length[15];
   integer NoofGathers;
   integer current_deficit;
   integer CannotTouch;
   CpgToken pgToken;
   CNiuErrors error_info;


   bit [63:0] descriptor_address;
   bit [63:0] xlate_desc_addr;
   bit [63:0] last_descriptor_address;
   bit [63:0] packet_start_address;
   bit [63:0] xlate_mb_addr;
   integer call_back_set;
    integer CallBackPending;	

  // Rx Loop back related variables
  integer loop_back_rx_lastpacket;
  integer loop_back_rxdma_num;

   task new(integer i = -1) {
	 id = i;
	 valid = 0;
	 call_back_set = 0;
	 CannotTouch = 0;
	 CallBackPending = 0;
	 NoofGathers = 0;
         err_pkt = 0;
	 port_data_valid = 0;
         pgToken = new(id);
	 error_info = new();
   }

   task print() {
    printf(" TOKEN DEBUG id - %d descriptor_addr = %x packet_start_addr = %x \n",id,descriptor_address,packet_start_address);
   }

   task update_exp_err() {
   pgToken.exp_err = err_pkt;
   printf("Niu_txtoken: value of err_bit %d\n",pgToken.exp_err);
   }
}

MakeVeraList(CTxToken) // list of tokens for DRR

// Used for TxDRR Sync Cup

class CTxDrrTr {
         integer LatchActiveSeen ;
         integer NewKickSeen;
         integer NewKickDMA ;
	 bit[31:0] activeList;

	task new() {
		LatchActiveSeen = 0;
		NewKickSeen = 0;
		NewKickDMA = 0;
		activeList= 0;
	}

}