verif/env/ilu_peu/vera/N2str/ilupeuDmaURMsgDPEUStr.vr

// ========== Copyright Header Begin ==========================================
//
// OpenSPARC T2 Processor File: ilupeuDmaURMsgDPEUStr.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 ============================================
class DmaURMsgDPEUStr extends DmaURBasePEUStr {


  // ******************************************************************
  // The Test Environment objects need to execute the strategy.
  // ******************************************************************
  local PEUTestEnv              _env;
  local integer                 _errQueue;
  static integer                _ctr = 0;


  // ******************************************************************
  // TLP Fields - These fields will be randomized using the parameters
  // in the following section, and obeying the constraints defined
  // within this class.
  // ******************************************************************
  local         bit [1:0]       _format;
  local         bit [4:0]       _type;
  local         bit [2:0]       _tc;
  local         bit             _td;
  local         bit             _ep;
  local         bit [1:0]       _attr;
  local         bit [9:0]       _len;
  local         bit [15:0]      _req_id;
  local         bit [7:0]       _tag;
  local         bit [7:0]       _m_code;
  local         bit [63:0]      _addr;
  local         integer         _data;


  // ******************************************************************
  // Constructor
  // ******************************************************************
  public task new(PEUTestEnv a_env, (integer a_errQueue = 'bx));


  // ******************************************************************
  // Execute the strategy.
  // ******************************************************************
   public task Execute();
}


//-------------------------------------------------------------------
// Method Name:
// Description:
//-------------------------------------------------------------------
task DmaURMsgDPEUStr::new(PEUTestEnv a_env, (integer a_errQueue = 'bx)) {


  super.new(a_env);
  this._env = a_env;
  this._errQueue = a_errQueue;
}


//-------------------------------------------------------------------
// Method Name:
// Description:
//-------------------------------------------------------------------
task DmaURMsgDPEUStr::Execute() {


  bit [PEC_PCI__HDR]            reqHdr;


  this._format     = PEC_PCI__FMT_DATA_4DW;

  this._type [4:3] = 2'b_10;
  this._type [2:0] = urandom_range(3'h_7, 3'h_0);

  this._tc         = 3'b_000;
  this._td         = urandom_range(1'b_1, 1'b_0);

  randcase {
    this._ep_req_prob_false : this._ep = 1'b_0;
    this._ep_req_prob_true  : this._ep = 1'b_1;
  }

  this._attr       = 2'b_00;
  this._len        = urandom_range(this._env.getMaxPayloadSize() / 4, 10'h_1);
  this._req_id     = urandom_range(16'h_FFFF, 16'h_0);
//  this._tag        = urandom_range(8'h_FF, 8'h_00);
  //Make unique so Denali doesn't hold packets hostage
  _env.allocDmaTag( this._tag );


/*review - Fix Denali to support undefined message codes
  _ctr = _ctr + 1;
  case ( _ctr )
    {
    1:       this._m_code     = PEC_PCI__MSG_CODE_VENDOR_TYPE_0;
    2:       this._m_code     = PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT;
    default: this._m_code     = urandom_range(8'h_FF, 8'h_00);
    }

  while ((this._m_code === PEC_PCI__MSG_CODE_ASSERT_INTA) ||
         (this._m_code === PEC_PCI__MSG_CODE_ASSERT_INTB) ||
         (this._m_code === PEC_PCI__MSG_CODE_ASSERT_INTC) ||
         (this._m_code === PEC_PCI__MSG_CODE_ASSERT_INTD) ||
         (this._m_code === PEC_PCI__MSG_CODE_DEASSERT_INTA) ||
         (this._m_code === PEC_PCI__MSG_CODE_DEASSERT_INTB) ||
         (this._m_code === PEC_PCI__MSG_CODE_DEASSERT_INTC) ||
         (this._m_code === PEC_PCI__MSG_CODE_DEASSERT_INTD) ||
         (this._m_code === PEC_PCI__MSG_CODE_VENDOR_TYPE_1))
    this._m_code   = urandom_range(8'h_FF, 8'h_00);
*/
randcase{
    2:       this._m_code     = PEC_PCI__MSG_CODE_VENDOR_TYPE_0;
    1:       this._m_code     = PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT;
}


  this._addr       = {urandom(), urandom()};

  if( this._m_code == PEC_PCI__MSG_CODE_VENDOR_TYPE_0 ){
     randcase{
        1: this._type [2:0] = 3'b000;
        1: this._type [2:0] = 3'b010;
        1: this._type [2:0] = 3'b011;
        1: this._type [2:0] = 3'b100;
     }

     //review - Denali troubles with vendor defined messages
     this._addr = { this._type [2:0] == 3'b010 ? this._addr[63:48] : 16'h0,
                    random()%2 ? _env.Scenario.denaliVendorDefinedVendorID2 :
                                 _env.Scenario.denaliVendorDefinedVendorID1,
                    32'h0};
  }

  if( this._m_code == PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT ){
     this._len = 1;
     this._addr = 64'h0;
     this._type [2:0] = 3'b100;
  }


  this._data       = urandom_range(255, 0);


  reqHdr [PEC_PCI__HDR]         = {128{1'b_0}};
  reqHdr [PEC_PCI__FMT]         = this._format;
  reqHdr [PEC_PCI__TYPE]        = this._type;
  reqHdr [PEC_PCI__TC]          = this._tc;
  reqHdr [PEC_PCI__TD]          = this._td;
  reqHdr [PEC_PCI__EP]          = this._ep;
  reqHdr [PEC_PCI__ATTR]        = this._attr;
  reqHdr [PEC_PCI__LEN]         = this._len;
  reqHdr [PEC_PCI__REQ_ID]      = this._req_id;
  reqHdr [PEC_PCI__TLP_TAG]     = this._tag;
  reqHdr [PEC_PCI__MSG_CODE]    = this._m_code;
  reqHdr [PEC_PCI__ADDR]        = this._addr;

printf("DmaURMsgDPEUStr _m_code=%h reqHdr=%h \n",_m_code,reqHdr);

  this._env.Pod.FNXPCIEEnableTrans.tempSuppressDenaliErr( PCIE_TL_FATAL_TLP_UNKROUT );
  if( this._m_code == PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT ){
     this._env.Pod.FNXPCIEEnableTrans.tempSuppressDenaliErr( PCIE_TL_NONFATAL_TLP_PLN0_Msg );
  }
  if( this._m_code != PEC_PCI__MSG_CODE_VENDOR_TYPE_0 &&
      this._m_code != PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT ){
     this._env.Pod.FNXPCIEEnableTrans.tempSuppressDenaliErr( PCIE_TL_FATAL_TLP_UNKMSG );
  }

  if ( super.f_abortErrTlp )
    {
    this._env.drivePCIE(reqHdr, this._data, *, *, *, 1);
    this._env.Pod.FNXPCIEEnableTrans.unSuppressDenaliErr( PCIE_TL_FATAL_TLP_UNKROUT );
    if( this._m_code == PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT ){
       this._env.Pod.FNXPCIEEnableTrans.unSuppressDenaliErr( PCIE_TL_NONFATAL_TLP_PLN0_Msg );
    }
    if( this._m_code != PEC_PCI__MSG_CODE_VENDOR_TYPE_0 &&
        this._m_code != PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT ){
       this._env.Pod.FNXPCIEEnableTrans.unSuppressDenaliErr( PCIE_TL_FATAL_TLP_UNKMSG );
    }
    this._env.waitIngressLatency(reqHdr);
    }
  else
    {
    this._env.reserveIngressCredits(reqHdr);
    this._env.drivePCIE(reqHdr, this._data);
    this._env.Pod.FNXPCIEEnableTrans.unSuppressDenaliErr( PCIE_TL_FATAL_TLP_UNKROUT );
    if( this._m_code == PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT ){
       this._env.Pod.FNXPCIEEnableTrans.unSuppressDenaliErr( PCIE_TL_NONFATAL_TLP_PLN0_Msg );
    }
    if( this._m_code != PEC_PCI__MSG_CODE_VENDOR_TYPE_0 &&
        this._m_code != PEC_PCI__MSG_CODE_SET_SLOT_POWER_LIMIT ){
       this._env.Pod.FNXPCIEEnableTrans.unSuppressDenaliErr( PCIE_TL_FATAL_TLP_UNKMSG );
    }
    this._env.consumeIngressCredits(reqHdr);

    this._env.waitIngressLatency( reqHdr );

    mailbox_put(this._errQueue, e_ERR_none);
    mailbox_put(this._errQueue, 2);
    mailbox_put(this._errQueue, e_ERR_ue_ur);
    mailbox_put(this._errQueue, reqHdr);
    mailbox_put(this._errQueue, e_ERR_ue_mfp);
    mailbox_put(this._errQueue, 128'bx0);
    }

    _env.freeDmaTag( this._tag );
}