m_h_bfm.sv

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

//
// Template for VMM-compliant half-duplex physical-level monitor
//
// <XACT>       Name of transactor
// <IF>         Name of physical interface
// <slave>      Name of modport in physical interface
// <TR>         Name of output transaction descriptor class
//

`ifndef XACT__SV
`define XACT__SV

`include "vmm.sv"
`include "IF.sv"
`include "TR.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 start of observed transaction
   virtual function void pre_trans(XACT xactor,
                                   TR tr);
   endfunction: pre_trans

   // Called before acknowledging a transaction
   virtual function pre_ack(XACT xactor,
                            TR tr);
   endfunction: pre_ack
   
   // Called at end of observed transaction
   virtual function void post_trans(XACT xactor,
                                    TR tr);
   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 OBSERVING;
  
  protected XACT_cfg cfg;
  local     XACT_cfg reset_cfg;
  protected TR rx_factory;
  local     TR reset_rx_factory;

  TR_channel out_chan;
  virtual IF.slave sigs;

  extern function new(string            inst,
                      int               stream_id,
                      virtual IF.slave  sigs,
                      XACT_cfg   cfg = null,
                      TR_channel out_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();

endclass:XACT


function XACT::new(string            inst,
                   int               stream_id,
                   virtual IF.slave  sigs,
                   XACT_cfg   cfg,
                   TR_channel out_chan,
                   TR         rx_factory);

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

   this.OBSERVING = this.notify.configure(-1, vmm_notify::ON_OFF);

   this.sigs = sigs;

   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 (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);

   // ToDo: Reset output signals
   this.sigs.sck1.sync_dat <= 'z;
   this.sigs.sck2.sync_rxd <= 0;
   this.sigs.async_rdy     <= 0;

   this.out_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();

   forever begin
      TR tr;

      // ToDo: Set output signals to their idle state
      this.sigs.sck1.sync_dat <= 'z;
      this.sigs.sck2.sync_rxd <= 0;
      this.sigs.async_rdy     <= 0;

      // ToDo: Wait for start of transaction

      $cast(tr, this.rx_factory.copy());
      `vmm_callback(XACT_callbacks,
                    pre_trans(this, tr));

      tr.notify.indicate(vmm_data::STARTED);
      this.notify.indicate(this.OBSERVING, tr);

      `vmm_trace(this.log, "Starting transaction...");

      // ToDo: Observe first half of transaction
      
      tr.status = TR::IS_OK;
      `vmm_callback(XACT_callbacks,
                    pre_trans(this, tr));

      // ToDo: React to observed transaction with ACK/NAK

      `vmm_trace(this.log, "Completed transaction...");
      `vmm_debug(this.log, tr.psdisplay("   "));

      this.notify.reset(this.OBSERVING);
      tr.notify.indicate(vmm_data::ENDED);

      `vmm_callback(XACT_callbacks,
                    post_trans(this, tr));

      this.out_chan.sneak(tr);
   end
endtask: main

`endif