anchor.diff:     interface LEDS             leds;
      (* prefix="XADC" *)
      interface XADC             xadc;
  +   (* prefix="I2C0" *)
  +   interface I2C_Pins         i2c0;
   `ifdef USE_I2C
  -   (* prefix="I2C" *)
  -   interface I2C_Pins         i2c;
  +   (* prefix="I2C1" *)
  +   interface I2C_Pins         i2c1;
   `endif
      (* prefix="" *)
      interface pins             pins;
  
positive.code:    Clock mainclock = ps7.fclkclk[0];
     Reset mainreset = ps7.fclkreset[0];
  
     let tscl <- mkIOBUF(~ps7.i2c[1].scltn, ps7.i2c[1].sclo, clocked_by mainclock, reset_by mainreset);
     let tsda <- mkIOBUF(~ps7.i2c[1].sdatn, ps7.i2c[1].sdao, clocked_by mainclock, reset_by mainreset);
     rule sdai;
        ps7.i2c[1].sdai(tsda.o);
        ps7.i2c[1].scli(tscl.o);
     endrule
  
     let top <- constructor(`CLOCK_ARG clocked_by mainclock, reset_by mainreset);
  
negative.code:            return 0;
         endmethod
     endinterface
     interface I2C_Pins i2c0;
        interface Inout scl = tscl0.io;
        interface Inout sda = tsda0.io;
     endinterface
  `ifdef USE_I2C
     interface I2C_Pins i2c1;
        interface Inout scl = tscl1.io;
        interface Inout sda = tsda1.io;
     endinterface
  `endif
     interface pins = top.pins;
  