anchor.diff:  import IserdesDatadeser::*;
   import GetPutWithClocks :: *;
   
  -(* always_enabled *)
  +//(* always_ready *)
   interface ImageonSerdes;
       method Bit#(1) reset();
       method Bit#(1) resets();
  
positive.code:     
      rule serdes_calc;
          host.serdesind.clk_ready(1);
          host.serdesind.align_busy(pack(align_BUSY_d_wire != 0));
          host.serdesind.alignedbit(pack(alignED_d_wire == 5'b11111));
      endrule
  
      rule serdes_reset if (serdes.resets() == 1);
  
negative.code:     endinterface: out
  endmodule
  
  //(* always_ready, always_enabled *)
  interface SensorDiffData;
     //interface Vector#(5, IbufdsOut) in;
     //interface Vector#(5, IserdesControl) control;
  