Initial commit of OpenSPARC T2 design and verification files.

[OpenSPARC-T2-DV] / verif / env / niu / vera / niu_utils / niu_memcbmgr.vr

// ========== Copyright Header Begin ==========================================
// 
// OpenSPARC T2 Processor File: niu_memcbmgr.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 <ListMacros.vrh>
#include "niu_cb_events.vri"

/* A generic call back class to be used for Memory */
#include "niu_cbclass.vrh"


class CcbManager {

  integer no_of_cbs;
  CcbMem  cbMem[];
  string whoami;
  task new(string s) {
    no_of_cbs = 0;
    whoami = s;
  } 

  task setCallBack ( CcbMem cbMem) ;
  function integer checkCallBack ( bit [63:0] attr, (integer req=0) );
  local task docb( CcbMem cb);
}

task CcbManager::setCallBack ( CcbMem cb)  {
bit[95:0] hash_in;

 if(cb.eventdfn == READ_REQUEST) {
   hash_in = {READ_REQUEST,cb.attr};
 } else {
   hash_in = {cb.attr};
 }

  if ( assoc_index(CHECK,this.cbMem,hash_in)) {
    printf("%s: CcbManager::setCallBack:  CallBack already set  for address - %x Ignoring this request-- \n",whoami,cb.attr);
    return;
  } else {
   cbMem[hash_in] = new cb;
   no_of_cbs ++;
   printf("%s: CcbManager::setCallBack: MEM CB DEBUG- Callback Set for address - %x , NoofActiveCBS - %d \n",whoami,cb.attr,no_of_cbs);
  }
}

function integer CcbManager::checkCallBack ( bit [63:0] attr, (integer req=0) ) {
  CcbMem cb;
  integer status;
  bit[95:0] hash_in;
  

  if(req == 1) {
    hash_in = {READ_REQUEST,attr};
  } else {
    hash_in = {attr};
  }


 if(assoc_index(CHECK,this.cbMem,hash_in)) {
  printf("%s: Found the entry in the cb mem- \n",whoami);
  // do the appropriate action and return the status
  checkCallBack = 1;
  cb = new this.cbMem[hash_in];
  if(req==0) {
   status = assoc_index(DELETE,this.cbMem,hash_in);
  }
  docb(cb);
 }
  else checkCallBack = 0;

}

task CcbManager::docb( CcbMem cb) {

   // Parse the events and do appropriate-
   // cb.eventdfn == 

  if(cb.eventdfn == -1) {
   printf("%s:  CcbManager::docb:  ERROR Illegal CallBack event set!! FIX IT \n",whoami);
   return;
  }

   if(cb.semId!=-1) {
     semaphore_put(cb.semId,1);
     no_of_cbs --;
     if(cb.eventdfn == GOOD_PACKET) {
       printf("%s:  CcbManager::docb:  MEM CB DEBUG- CallBack Success  - Address - %x \n",whoami,cb.attr);
     } else if(cb.eventdfn == DROP_PACKET) {
       printf("%s:  CcbManager::docb:  ERROR- CallBack Success - Packet Written to address - %x : Packet expected to be dropped \n",whoami,cb.attr);

     } else if( cb.eventdfn == CR_WAIT_FOR_ACK) {
       printf("%s:  CcbManager::docb:  - CallBack Success - Sending Write Ack for  address - %x : \n",whoami,cb.attr);
     } else if( cb.eventdfn == READ_REQUEST) {
       printf("%s:  CcbManager::docb:  - CallBack Success - Read Request for address - %x : \n",whoami,cb.attr);
     }

   }
}