anchor.diff:  // Copyright (c) 2012  Bluespec, Inc.  ALL RIGHTS RESERVED.
   ////////////////////////////////////////////////////////////////////////////////
   //  Filename      : XbsvXilinx7PCIE.bsv
  -//  Description   : 
  +//  Description   :
   ////////////////////////////////////////////////////////////////////////////////
   package XbsvXilinx7Pcie;
   
  
positive.code:    rule others;
        pcie_ep.fc.sel(0 /*RECEIVE_BUFFER_AVAILABLE_SPACE*/);
     endrule
     
     (* fire_when_enabled, no_implicit_conditions *)
     rule drive_axi_tx;
        pcie_ep.s_axis_tx.tuser({ wDiscontinue, wCutThrough, wErrFwd, wEcrcGen });
  
negative.code:       method non_posted_ok(i)  = pcie_ep.rx.np_ok(i);
        method non_posted_req(i) = pcie_ep.rx.np_req(i);
     endinterface
  
     interface zz1cfg = pcie_ep.cfg;
  endmodule: mkPCIExpressEndpointX7
  
  