anchor.diff:     Vector#(numPorts, DtpRx)    dtp_rx = newVector;
      Vector#(numPorts, DtpTx)    dtp_tx = newVector;
   
  +
  +`ifdef SYNTHESIS
      EthSonicPma#(numPorts)      pma4 <- mkEthSonicPma(mgmt_clk, clk_644, clk_156_25, rst_50_n, clocked_by mgmt_clk, reset_by rst_50_n);
  -
      Vector#(numPorts, ReadOnly#(Bool)) rx_ready_tx;
      Vector#(numPorts, ReadOnly#(Bool)) tx_ready_tx;
      Vector#(numPorts, ReadOnly#(Bool)) rx_ready_rx;
  
positive.code:       vTxPipeOut[i] = toPipeOut(txFifo[i]);
  
        // Gearbox Level Loopback FIFO
        lpbkSyncFifo[i] <- mkSyncFIFO(10, clk_156_25, rst_156_25_n, pma4.rx_clkout[i]);//, pma4.rx_reset[i]);
        lpbkSyncPipeOut[i] = toPipeOut(lpbkSyncFifo[i]);
        lpbkSyncPipeIn[i] = toPipeIn(lpbkSyncFifo[i]);
  
        pcs_rx[i]    <- mkEthPcsRxTop(clocked_by pma4.rx_clkout[i], reset_by pma4.rx_reset[i]);
        pcs_tx[i]    <- mkEthPcsTxTop(clocked_by clk_156_25, reset_by rst_156_25_n);
        dtp_rx[i]    <- mkDtpRxTop(clocked_by pma4.rx_clkout[i], reset_by pma4.rx_reset[i]);
        dtp_tx[i]    <- mkDtpTxTop(clocked_by clk_156_25, reset_by rst_156_25_n);
  
        dtpEventFifo[i] <- mkSyncFIFO(10, pma4.rx_clkout[i], pma4.rx_reset[i], clk_156_25);//, rst_156_25_n);
        //dtpEventFifo[i] <- mkDtpDCFifo(pma4.rx_clkout[i], pma4.rx_reset[i], clk_156_25);//, rst_156_25_n);
        dtpEventOut[i] = toPipeOut(dtpEventFifo[i]);
        dtpEventIn[i]  = toPipeIn(dtpEventFifo[i]);
  
        dtpErrCntFifo[i] <- mkSyncFIFO(10, pma4.rx_clkout[i], pma4.rx_reset[i], clk_156_25);//, rst_156_25_n);
        dtpErrCntOut[i] = toPipeOut(dtpErrCntFifo[i]);
        dtpErrCntIn[i]  = toPipeIn(dtpErrCntFifo[i]);
  
  
negative.code:       endmethod
     endinterface);
  
  `ifdef SYNTHESIS
     interface rx_clkout = pma4.rx_clkout;
     interface tx_clkout = pma4.tx_clkout;
     method serial_tx = pma4.serial_tx;
     method serial_rx = pma4.serial_rx;
     interface led_rx_ready = pma4.rx_ready;
  `else  
      interface rx_clkout = replicate(clk_156_25);
      interface tx_clkout = replicate(clk_156_25);
  `endif
     interface rx = vRxPipeOut;
     interface tx = vTxPipeIn;
  
     interface api = vapi;
     interface switchMode = toPipeIn(switchModeFifo);
  