anchor.diff:        pcie_ep.s_axis_tx.tdata(wAxiTxData);
         pcie_ep.s_axis_tx.tkeep(wAxiTxKeep);
      endrule
  -   
  +
      (* fire_when_enabled *)
      rule drive_axi_tx_info if (pcie_ep.s_axis_tx.tready != 0);
         let info <- toGet(fAxiTx).get;
  
positive.code:       method configuration_completion_request  = (pcie_ep.tx.cfg_req != 0);
        method configuration_completion_grant(i) = pcie_ep.tx.cfg_gnt(pack(i));
     endinterface
        
     interface PCIE_TRN_RECV_X7 trn_rx;
        method ActionValue#(Tuple3#(Bool, Bool, TLPData#(8))) recv();
  	 let info <- toGet(fAxiRx).get;
  
negative.code:    interface PCIE_TRN_XMIT_X7   trn_tx;
     interface PCIE_TRN_RECV_X7   trn_rx;
     interface PciewrapCfg     zz1cfg;
  endinterface
  
  ////////////////////////////////////////////////////////////////////////////////
  ////////////////////////////////////////////////////////////////////////////////
  