anchor.diff:     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);
  +   let tscl0 <- mkIOBUF(~ps7.i2c[0].scltn, ps7.i2c[0].sclo, clocked_by mainclock, reset_by mainreset);
  +   let tsda0 <- mkIOBUF(~ps7.i2c[0].sdatn, ps7.i2c[0].sdao, clocked_by mainclock, reset_by mainreset);
  +   rule sdai0;
  +      ps7.i2c[0].sdai(tsda0.o);
  +      ps7.i2c[0].scli(tscl0.o);
  +   endrule
  +
  +   let tscl1 <- mkIOBUF(~ps7.i2c[1].scltn, ps7.i2c[1].sclo, clocked_by mainclock, reset_by mainreset);
  +   let tsda1 <- mkIOBUF(~ps7.i2c[1].sdatn, ps7.i2c[1].sdao, clocked_by mainclock, reset_by mainreset);
  +   rule sdai1;
  +      ps7.i2c[1].sdai(tsda1.o);
  +      ps7.i2c[1].scli(tscl1.o);
      endrule
   
      let top <- constructor(`CLOCK_ARG clocked_by mainclock, reset_by mainreset);
  
positive.code:    interface LEDS             leds;
     (* prefix="XADC" *)
     interface XADC             xadc;
  `ifdef USE_I2C
     (* prefix="I2C" *)
     interface I2C_Pins         i2c;
  `endif
     (* prefix="" *)
     interface pins             pins;
  
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;
  