m_h_hgh.sv

VMM 文档加源码, synopsys公司很好的验证资料

//
// Template for VMM-compliant half-duplex functional-level monitor
//
// <XACT>       Name of transactor
// <TR>         Name of high-level transaction descriptor class
// <TX>         Name of low-level transaction descriptor class
//

`ifndef XACT__SV
`define XACT__SV

`include "vmm.sv"
`include "TR.sv"
`include "TX.sv"

typedef class XACT;

class XACT_callbacks extends vmm_xactor_callbacks;

  // ToDo: Add additional relevant callbacks
  // ToDo: Use a task if callbacks can be blocking

   // Called at end of observed lower-level transaction
   virtual function void post_trans_obs(XACT xactor,
                                        TX tx,
                                        bit drop);
   endfunction: post_trans_obs

   // Call when a high-level transaction has been identified
   virtual function post_trans(XACT xactor,
                               TX tx[$],
                               TR tr,
                               bit drop);
   endfunction: post_trans

endclass: XACT_callbacks


class XACT_cfg;
   // ToDo: Add transactor configuration class properties
   rand int mode;
endclass:XACT_cfg


class XACT extends vmm_xactor;

  int OBSERVED;
  int SUB_OBSERVED;
  
  protected XACT_cfg cfg;
  local     XACT_cfg reset_cfg;
  protected TR rx_factory;
  local     TR reset_rx_factory;

  TR_channel out_chan;
  TX_channel obs_chan;

  
   extern function  new(string     inst,
                        int        stream_id,
                        XACT_cfg   cfg = null,
                        TR_channel out_chan = null,
                        TX_channel obs_chan = null,
                        TR         rx_factory = null);
   
  extern virtual function void reconfigure(XACT_cfg cfg);
  extern virtual function void reset_xactor(reset_e rst_type = SOFT_RST);
  extern protected virtual task main();
  extern protected virtual task rx_monitor();

endclass:XACT


function XACT::new(string     inst,
                   int        stream_id,
                   XACT_cfg   cfg,
                   TR_channel out_chan,
                   TX_channel obs_chan,
                   TR         rx_factory);

   super.new("XACT Transactor", inst, stream_id);

   this.OBSERVED = this.notify.configure();
   this.SUB_OBSERVED = this.notify.configure();

   if (cfg == null) cfg = new;
   this.cfg = cfg;
   this.reset_cfg = cfg;

   if (out_chan == null) out_chan = new("XACT Output Channel", inst);
   this.out_chan = out_chan;
   if (obs_chan == null) obs_chan = new("XACT Observation Channel", inst);
   this.obs_chan = obs_chan;

   if (rx_factory == null) rx_factory = new;
   this.rx_factory = rx_factory;
   this.reset_rx_factory = rx_factory;
endfunction: new



function void XACT::reconfigure(XACT_cfg cfg);

   if (!this.notify.is_on(XACTOR_IDLE )) begin
      `vmm_warning(this.log, "Transactor should be reconfigured only when IDLE");
   end

   this.cfg = cfg;
   
   // ToDo: Notify any running threads of the new configuration
endfunction: reconfigure


function void XACT::reset_xactor(reset_e rst_type);

  // super.reset_xactor(rst_type);

   this.out_chan.flush();
   this.obs_chan.flush();

   // ToDo: Reset other state information

   if (rst_type != SOFT_RST) begin
      // ToDo: Reset state if FIRM or above
   end

   if (rst_type == PROTOCOL_RST) begin
      // ToDo: Reset state if PROTOCOL
   end
   
   if (rst_type == HARD_RST) begin
      // ToDo: Reset state if HARD or above
      this.cfg = this.reset_cfg;
      this.rx_factory = this.reset_rx_factory;
   end
endfunction: reset_xactor


task XACT::main();
   super.main();

   fork
      rx_monitor();
   join
endtask: main


task XACT::rx_monitor();

   forever begin
      TR tr;
      TX tx[$];
      TX tmp_tx;
      bit drop;

      tr = null;
      
      this.wait_if_stopped_or_empty(this.obs_chan);
      this.obs_chan.get(tmp_tx);
      tx.push_back(tmp_tx);

      drop = 0;
      `vmm_callback(XACT_callbacks,
                    post_trans_obs(this, tx[tx.size()-1], drop));
      if (drop) begin
         tx.pop_back();
         continue;
      end
   
      this.notify.indicate(this.SUB_OBSERVED, tx[tx.size()-1]);

      `vmm_debug(this.log, "Observed lower-level transaction...");
      `vmm_verbose(this.log, tx[tx.size()-1].psdisplay("   "));

      // ToDo: Check if the lower-level transactions observed so far
      //       create a higher-level transaction

      $cast(tr, this.rx_factory.copy());
      
      if (tr != null) begin
         drop = 0;
         
         `vmm_callback(XACT_callbacks,
                       post_trans(this, tx, tr, drop));

         if (!drop) begin
            this.notify.indicate(this.OBSERVED, tr);

            `vmm_trace(this.log, "Observed transaction...");
            `vmm_debug(this.log, tr.psdisplay("   "));
         
            this.out_chan.sneak(tr);
         end

         // ToDo: removed the interpreted observed sub transactions
         tx.delete();
      end
   end
endtask: rx_monitor

`endif