anchor.diff:      // hdmi clock domain
       mkConnection(converter.out, hdmiOut.rgb);
   
  -    mkConnection(spiController.response.get(), indication.coreIndication.spi_response);
  +    rule spiControllerResponse;
  +       Bit#(26) v <- spiController.response.get();
  +       indication.coreIndication.spi_response(extend(v));
  +    endrule
   
       interface CoreRequest coreRequest;
       method Action set_spi_control(Bit#(32) v);
  
positive.code:         //indication.coreIndication.debugind(control.get_debugind());
          indication.coreIndication.debugind(debugind_value);
      endmethod
      method Action put_spi_request(Bit#(26) v);
          spiController.request.put(v);
      endmethod
  
      endinterface
  
negative.code:     method Action set_syncgen_vbporch(Bit#(16) v);
      method Action set_debugreq(Bit#(32) v);
      method Action get_debugind();
      method Action put_spi_request(Bit#(32) v);
  endinterface
  
  interface ImageCaptureIndication;
  