anchor.diff:      Reg#(Bit#(32)) vsyncCounter <- mkReg(0, clocked_by axi_clock, reset_by axi_reset);
       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);
  +
       rule axicyclecount;
          counter <= counter + 1;
       endrule
  
positive.code:         end
      endrule
  
          let isActiveLine = (lineCount >= deLineCountMinimum && lineCount < deLineCountMaximum);
          let dataEnable = (pixelCount >= dePixelCountMinimum && pixelCount < dePixelCountMaximum && isActiveLine);
      rule output_data_rule;
          let hsync = (pixelCount < hsyncWidth) ? 1 : 0;
          let vsync = (lineCount < vsyncWidth) ? 1 : 0;
         Rgb888 pixel = unpack(0);
         if (dataEnable) begin
  	   pixel = unpack(pixelData);
         end
          rgb888StageReg <= VideoData {de: pack(dataEnable),
  				     vsync: vsync, hsync: hsync, pixel: pixel };
      endrule
  
      rule testpattern_rule if (testPatternEnabled != 0);
  
negative.code: 	method Bit#(12) getNumberOfPixels();
  	   return numberOfPixels;
  	endmethod
          method Bool dataEnable();
              return dataEnable;
          endmethod
      endinterface
      interface HdmiInternalRequest control;
          method Action setPatternColor(Bit#(32) v);
  