anchor.diff:      interface Reset hdmiReset;
   endinterface
   
  -(* always_enabled *)
  +//(* always_enabled *)
   interface ImageonFast;
       interface ImageonSyncGen syncgen;
       interface Reset reset;
   endinterface
   
  -(* always_enabled *)
  +//(* always_enabled *)
   interface ImageonVita;
       method Bit#(1) host_oe();
       interface ImageonSerdesIndication serdesind;
  
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:     Reg#(Bit#(1)) remapkernel_reg <- mkReg(0);
      Reg#(Bit#(1)) imgdatavalid_reg <- mkReg(0);
      Reg#(Bit#(8)) dcount <- mkReg('hab);
      Wire#(Bit#(5)) fifo_EMPTY_d_wire <- mkDWire(0);
      Wire#(Bit#(5)) sampleinFIRSTBIT_wire <- mkDWire(0);
      Wire#(Bit#(5)) sampleinLASTBIT_wire <- mkDWire(0);
  