anchor.diff:     Clock txClock <- mkClockBUFG(clocked_by b2c.c);
   
      Clock syncClock = txClock; // should be doubled
  +
  +   let gtxe2Common <- mkGtxe2Common(defaultClock, mgtRefClk);
   
      let aur <- mkBviAurora64(/* init_clk */ defaultClock,
   			    mgtRefClk,
  
positive.code: import XilinxCells::*;
  import BviAurora::*;
  import Clocks::*;
  
  (* always_enabled, always_ready *)
  interface AuroraPins;
  
negative.code: 
  interface AuroraIndication;
      method Action received(Bit#(64) v);
      method Action debug(Bit#(1) channelUp, Bit#(1) laneUp, Bit#(1) hard_err, Bit#(1) soft_err, Bit#(1) qpllLock, Bit#(1) qpllRefClkLost);
      method Action userClkElapsedCycles(Bit#(32) cycles);
  endinterface
  
  interface AuroraRequest;
      method Action send(Bit#(64) v);
      method Action debug();
      method Action pma_init(Bit#(1) v);
      method Action userClkElapsedCycles(Bit#(32) period);
  endinterface
  
  interface Aurora;
  