verif/env/fnx/vlib/XactorFmwork/src/XactorBaseManager.vr

// ========== Copyright Header Begin ==========================================
//
// OpenSPARC T2 Processor File: XactorBaseManager.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 "XactorBaseExpectDataStruct.vrh"
#include "XactorBasePacket.vrh"
#include "XactorDefines.vri"

#include "cReport.vrh"

virtual class XactorBaseManager {

  // Expect Data Structure handles
  // This handle is used for expected values without undefined
  // bits ('z' or 'x')
  protected XactorBaseExpectDataStruct ExpectDataStruct;
  // This handle is used for expected values with undefined
  // bits ('z' or 'x')
  protected XactorBaseExpectDataStruct XExpectDataStruct;

  // Report handle.
  ReportClass MyReport;

  task new () {}

  // --------------------------------------------------------------------------
  // Expect and Drive Manager methods
  // --------------------------------------------------------------------------
  // Prints out pending expects. A packet has to be passed, since data structures
  // store values in a "compressed way" and packets know how to decode that
  // information
  virtual task DumpExpects();

  // Returns 1 if an expect with the value ExpectedPacket is pending and 0 otherwise
  virtual function bit ExpectPending(XactorBasePacket ExpectedPacket);

  // Returns 1 if the expect with the value in ExpectedPacket is removed successfully
  // and 0 otherwise
  virtual function bit Remove(XactorBasePacket ExpectedPacket);

  // Returns the number of pending expects in all the data structures of
  // the transactor
  virtual function integer NumExpects();

  // Removes Packet from ExpectDataStruct. Success is 1 if
  // Packet is removed without problems and 0 otherwise
  virtual protected task RemoveExpect(XactorBasePacket Packet,
                            var bit Success
                            );

  // Same as RemoveExpect, but it will remove Packet from the XExpectDataStruct
  virtual protected task RemoveXExpect(XactorBasePacket Packet,
                             var bit Success
                             );

  // Removes Packet from ExpectDataStruct using Packet's reference. Success is 1 if
  // Packet is removed without problems and 0 otherwise
  virtual protected task RemoveRefExpect(XactorBasePacket Packet,
                               var bit Success
                               );

  // Same as RemoveRefExpect, but it will remove Packet from the XExpectDataStruct
  virtual protected task RemoveRefXExpect(XactorBasePacket Packet,
                                var bit Success
                                );


  // This task will wait for a maximum of Window cycles for the ExpectedPkt to be removed from
  // the data structures. Removed is an event variable that is triggered when ExpectedPkt is
  // removed. TransactionRemoved will be 1 if ExpectedPkt was removed and 0 otherwise. Id is the
  // id number of the expect transaction.
  virtual task ExpectPkt(XactorBasePacket ExpectedPkt,
                         integer Window,
                         var bit [1:0] Status
                         );

  // This task will wait for the next transaction driven by the DUT, it will then sample it and
  // will return the values through Pkt. Window is the number of cycles that the transactor will
  // wait before it times out.
  virtual task SamplePkt(XactorBasePacket Pkt,
                         integer Window
                         );

  // This task will be waiting for transactions coming from the DUT
  // and match them with the pending list of expects (stored in the data structures)
  virtual protected task ExpectConsumer();

  // This task will receive DrivenPkt and will wait D clock cycles before DrivenPkt is
  // scheduled for driving
  virtual task DrivePkt(XactorBasePacket DrivenPkt, integer D);

  // This task will disable the transactor
  virtual task DisableManager();

  // This task will enable the transactor
  virtual task EnableManager();

  // This task will empty the contents of the Drive Fifo
  virtual protected task FlushDriveFifo();

  // This task will reset the transactor
  virtual task ResetManager();
}