anchor.diff:      Wire#(Bit#(1)) decoder_frame_start_wire <- mkDWire(0);
       Wire#(Bit#(10)) decoder_video_data_wire <- mkDWire(0);
   
  -    Reg#(Bit#(3)) remapper_write_cfg_reg <- mkReg(0);
  -    Reg#(Bit#(3)) remapper_mode_reg <- mkReg(0);
       Reg#(Bit#(3)) trigger_enable_reg <- mkReg(0);
       Reg#(Bit#(32)) trigger_default_freq_reg <- mkReg(0);
       Reg#(Bit#(32)) trigger_cnt_trigger0high_reg <- mkReg(0);
  
positive.code: 	interface ImageonXsvi xsvi;
  	    method Action vsync(Bit#(1) v);
  	        xsvi_vsync_wire <= v;
  	        if (v == 1)
  	            vsync_reg <= vsync_reg + 1;
  	    endmethod
  	    method Action hsync(Bit#(1) v);
  	        xsvi_hsync_wire <= v;
  	        if (v == 1)
  	            hsync_reg <= hsync_reg + 1;
  	    endmethod
  	    method Action active_video(Bit#(1) v);
  	        xsvi_active_video_wire <= v;
  	        if (v == 1)
  	            active_reg <= active_reg + 1;
  	    endmethod
  	    method Action video_data(Bit#(10) v);
  	        xsvi_video_data_wire <= v;
  
negative.code: 	endmethod
  	method XsviData xsviData();
  	    return XsviData {
  	        fsync: xsvi_fsync_wire,
  	        vsync: xsvi_vsync_wire,
  		hsync: xsvi_hsync_wire,
  		active_video: xsvi_active_video_wire,
  