anchor.diff:  
   
      
  -   interface PCIE_AXI_RX_X7 axi_rx;
  -      method m_axis_rx_tlast            rlast                                                               clocked_by(user_clk_out)  reset_by(no_reset);
  -      method m_axis_rx_tdata            rdata                                                               clocked_by(user_clk_out)  reset_by(no_reset);
  -      method m_axis_rx_tkeep            rkeep                                                               clocked_by(user_clk_out)  reset_by(no_reset);
  -      method m_axis_rx_tuser            ruser                                                               clocked_by(user_clk_out)  reset_by(no_reset);
  -      method m_axis_rx_tvalid           rvalid                                                              clocked_by(user_clk_out)  reset_by(no_reset);
  -      method                            rready(m_axis_rx_tready)                     enable((*inhigh*)en08) clocked_by(user_clk_out)  reset_by(no_reset);
  +    interface PciewrapM_axis_rx     m_axis_rx;
  +      method m_axis_rx_tlast            tlast                                                               clocked_by(user_clk_out)  reset_by(no_reset);
  +      method m_axis_rx_tdata            tdata                                                               clocked_by(user_clk_out)  reset_by(no_reset);
  +      method m_axis_rx_tkeep            tkeep                                                               clocked_by(user_clk_out)  reset_by(no_reset);
  +      method m_axis_rx_tuser            tuser                                                               clocked_by(user_clk_out)  reset_by(no_reset);
  +      method m_axis_rx_tvalid           tvalid                                                              clocked_by(user_clk_out)  reset_by(no_reset);
  +      method                            tready(m_axis_rx_tready)                     enable((*inhigh*)en08) clocked_by(user_clk_out)  reset_by(no_reset);
      endinterface
      interface PciewrapRx     rx;
         method                            np_ok(rx_np_ok)                             enable((*inhigh*)en09) clocked_by(user_clk_out)  reset_by(no_reset);
  
positive.code:    
     (* fire_when_enabled, no_implicit_conditions *)
     rule drive_axi_rx_ready;
        pcie_ep.axi_rx.rready(fAxiRx.notFull);
     endrule
     
     (* fire_when_enabled *)
     rule sink_axi_rx if (pcie_ep.axi_rx.rvalid);
        let info = AxiRx {
  	 user:    pcie_ep.axi_rx.ruser,
  	 last:    pcie_ep.axi_rx.rlast,
  	 keep:    pcie_ep.axi_rx.rkeep,
  	 data:    pcie_ep.axi_rx.rdata
  	 };
        fAxiRx.enq(info);
     endrule
  
negative.code:    method    Bool             terr_drop();
     method    Bool             tcfg_req();
     method    Action           tcfg_gnt(Bool i);
  endinterface
  
  (* always_ready, always_enabled *)
  