anchor.diff:  import HDMI::*;
   import XADC::*;
   import YUV::*;
  -import FrequencyCounter::*;
   import Gearbox::*;
   import MIMO::*;
   import BlueScope::*;
  
positive.code:     rule bozobit_rule;
          bozobit <= ~bozobit;
      endrule
     rule fc;
        let ec <- freqCounter.elapsedCycles();
        hdmiDisplayIndication.fcElapsedCycles(ec);
     endrule
  
      interface HdmiDisplayRequest displayRequest;
  	method Action startFrameBuffer(Int#(32) base, UInt#(32) rows, UInt#(32) cols, UInt#(32) pixels);
  
negative.code:    method Action stopFrameBuffer();
     method Action getTransferStats();
     method Action setTraceTransfers(Bit#(1) trace);
  endinterface
  interface HdmiDisplayIndication;
     method Action transferStarted(Bit#(32) count);
     method Action transferFinished(Bit#(32) count);
     method Action transferStats(Bit#(32) count, Bit#(32) transferCycles, Bit#(64) sumOfCycles);
  endinterface
  
  interface HdmiDisplay;
  