anchor.diff:      Reg#(Bit#(32)) elapsed <- mkReg(0, clocked_by axi_clock, reset_by axi_reset);
       Reg#(Bit#(32)) elapsedVsync <- mkReg(0, clocked_by axi_clock, reset_by axi_reset);
       SyncBitIfc#(Bit#(32)) vsyncCounters <- mkSyncBits(0, defaultClock, defaultReset, axi_clock, axi_reset);
  +    Wire#(Bool) gotDataWire <- mkDWire(False);
   
       rule vsyncaxi;
          vsyncCounters.send(vsyncCounter);
  
positive.code: interface HdmiGeneratorRequest;
      method Action setTestPattern(Bit#(1) v);
      method Action setPatternColor(Bit#(32) v);
      method Action setDePixel(Bit#(12) porch, Bit#(12) width, Bit#(12) visible, Bit#(12) last, Bit#(12) mid);
      method Action setDeLine(Bit#(11) porch, Bit#(11) width, Bit#(11) visible, Bit#(11) last, Bit#(11) mid);
      method Action waitForVsync(Bit#(32) unused);
  endinterface
  interface HdmiGeneratorIndication;
  
negative.code: 
      rule inc_counters;
          if (pixelCount == dePixelEnd) begin
             if (testPatternEnabled == 0 && verbose)
                 $display("HDMI: endofline %d", lineCount);
             pixelCount <= 0; 
             dataEnable <= False;
             patternIndex0 <= 0;
  