anchor.diff:     interface FMComms1Pins pins;
         interface FMCOmms1ADCPins adcpins = adc.pins;
         interface FMCOmms1ADCPins dacpins = dac.pins;
  -      method Action io_adc_dco_p(Bit#(1) v);
  -	 adc_dco_p <= v;
  -      endmethod
  -      method Action io_adc_dco_n(Bit#(1) v);
  -	 adc_dco_n <= v;
  -      endmethod
  -      method Action io_dac_dco_p(Bit#(1) v);
  -	 dac_dco_p <= v;
  -      endmethod
  -      method Action io_dac_dco_n(Bit#(1) v);
  -	 dac_dco_n <= v;
  -      endmethod
      endinterface
   endmodule : mkPortalTop
  
positive.code: 
  typedef enum { FMComms1Request, FMComms1Indication, DmaIndication, DmaConfig} IfcNames deriving (Eq,Bits);
  
  interface FMComms1Pins;
     interface FMComms1ADCPins adcpins;
     interface FMComms1DACPins dacpins;
        method Action io_adc_dco_p(Bit#(1) v);
        method Action io_adc_dco_n(Bit#(1) v);
        method Action io_dac_dco_p(Bit#(1) v);
        method Action io_dac_dco_n(Bit#(1) v);
  //   (* prefix="" *)
  endinterface
  
  
negative.code: 	    Add#(f__, addrWidth, 40));
  
     // These need to be connected to the clocks for the ADC and DAC
  
     FMComms1ADC adc <- mkFMComms1ADC();
     FMComms1DAC dac <- mkFMComms1DAC();
     
     FMComms1IndicationProxy fmcomms1IndicationProxy <- mkFMComms1IndicationProxy(FMComms1Indication);
     FMComms1 fmcomms1 <- mkFMComms1(fmcomms1IndicationProxy, dac.dac, adc.adc);
  