Re: [sv-ac] Fwd: sv-ac: virtual interface application example

Ed,
That particular example is from my VMM book, and does not use the expect.
 Here are 2 examples; One with a modification that could use the expect, and
another example.
class Fifo_cmd_xactor extends vmm_xactor;
  *virtual fifo_if.fdrvr_if_mp f_if;*
* virtual fifo_if.fslave_if_mp s_if; *
  ...
  function new(...
               virtual fifo_if.fdrvr_if_mp new_vir_if,
               virtual fifo_if.fslave_if_mp new_svir_if;
               ... );
      *this.f_if = new_vir_if;*
* this.s_if = new_svir_if; *
     ...
  endfunction : new
endclass: Fifo_cmd_xactor

 task Fifo_cmd_xactor::push_task (word_t data);
   * @ ( f_if.driver_cb);*
* expect (s_if.xxx ##[1:5} s_if.yyy); // <----*
   * f_if.driver_cb.data_in <= data;*
* f_if.driver_cb.push <= 1'b1;*
* f_if.driver_cb.pop <= 1'b0;*
* **@ ( f_if.driver_cb);*
* f_if.driver_cb.push <= 1'b0;*
* *
  endtask : push_task

// NEW EXAMPLE with Action Blocks
However, here is another example
class mst_bfm; // driver class
 * virtual master_if.fdrvr_if_mp v_if;*
  function new( …
  *virtual master_if.fdrvr_if_mp new_vir_if, ..);*
this.v_if = new_vir_if;
..
endfunction : new
…
task continue2() .. endtask : continue2 // What to do if response to abort
is the ABORTED
task abort_error(); … endtask : abort_error // What to do if response to
abort is not ABORTED
*task driver(pkt_c in_pkt);*
// code..
  vif.abort <= 1'b1;
  *expect ( @(posedge vif.clk) vif.mst_abort ##[5:8] vif.slv_resp ==
ABORTED)*
* continue2(); // pass action block*
    *else abort_error() ); // fail action block*
*endtask : driver*
endclass : mst_bfm

In fact, this is how envisioned the application of the "expect" in a class.
Ben

On Tue, Jun 22, 2010 at 12:28 PM, Eduard Cerny <Eduard.Cerny@synopsys.com>wrote:

> Hi Ben,
>
>
>
> did you say that the example uses an expect? I do not see one.
>
>
>
> Thanks,
>
> ed
>
>
>
>
>
> *From:* owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] *On Behalf Of *ben
> cohen
> *Sent:* Tuesday, June 22, 2010 1:30 PM
> *To:* Korchemny, Dmitry; sv-ac@eda.org
> *Subject:* [sv-ac] Fwd: sv-ac: virtual interface application example
>
>
>
>
>
> ---------- Forwarded message ----------
> From: *ben cohen* <hdlcohen@gmail.com>
> Date: Tue, Jun 22, 2010 at 9:58 AM
> Subject: sv-ac: virtual interface application example
> To: sv-ac@eda.org
>
> * `define TOP fifo_tb*
>
> module fifo_tb;
>
> ...
>
> * fifo_if f_if(.*); // instantiation of fifo interface*
>
> endmodule : fifo_tb
>
>
>
> class Fifo_env extends vmm_env; // ENVIRONMENT
>
> ....
>
> Fifo_cmd_xactor fifo_cmd_xactor_0; // command-layer declaration
>
> ...
>
> endclass : Fifo_env
>
>
>
> function void Fifo_env::build();
>
> ...
>
> this.fifo_cmd_xactor_0 = new("cmd_xactor",
>
> 0,
>
> * `TOP.f_if,* // <----- actual interface passed
>
> fifo_channel_0,
>
> fifo_response_chan0
>
> );
>
> ...
>
>
>
> endfunction : build
>
>
>
> class Fifo_cmd_xactor extends vmm_xactor;
>
> *virtual fifo_if.fdrvr_if_mp f_if;*
>
> ...
>
> function new(...
>
> virtual fifo_if.fdrvr_if_mp new_vir_if,
>
> ... );
>
> *this.f_if = new_vir_if;*
>
> ...
>
> endfunction : new
>
> endclass: Fifo_cmd_xactor
>
>
>
> task Fifo_cmd_xactor::push_task (word_t data);
>
> * f_if.driver_cb.data_in <= data;*
>
> * f_if.driver_cb.push <= 1'b1;*
>
> * f_if.driver_cb.pop <= 1'b0;*
>
> * @ ( f_if.driver_cb);*
>
> * f_if.driver_cb.push <= 1'b0;*
>
> endtask : push_task
>
>
>
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.
>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.