module video (
	      input	   rst_n,
	      input	   vid_clk,
	      input [1:0]  pll_locked,

	      output [2:0] hdmi_d,
	      output	   hdmi_clk,
	      inout	   hdmi_scl,
	      inout	   hdmi_sda,
	      inout	   hdmi_hpd
	      );

   assign hdmi_scl = 1'bz;
   assign hdmi_sda = 1'bz;
   assign hdmi_hpd = 1'bz;

   // 1024x768x60 with a 67.2 MHz pixel clock
   // Htiming: 1024 128 112 140  = 1404
   // Vtiming:  768   3   4  23  =  798
   reg [10:0]	    x;
   reg [ 9:0]	    y;

   reg [7:0]	    r;
   reg [7:0]	    g;
   reg [7:0]	    b;
   reg		    hblank;
   reg		    hsync;
   reg		    vblank;
   reg		    vsync;

   wire [7:0]	    pixbar = { x[6:0], 1'b0 } ^ {8{y[9]}};

   always @(posedge vid_clk or negedge rst_n)
     if (~rst_n)
       begin
	  x      <= 11'b0;
	  y      <= 10'b0;
	  r      <= 8'b0;
	  g      <= 8'b0;
	  b      <= 8'b0;

	  hblank <= 1'b0;
	  hsync  <= 1'b0;
	  vblank <= 1'b0;
	  vsync  <= 1'b0;
       end
     else
       begin
	  r <= pixbar & {8{x[9]}};
	  g <= pixbar & {8{x[8]}};
	  b <= pixbar & {8{x[7]}};

	  x <= x + 1'b1;
	  if (x >= 11'd1403)
	    begin
	       x <= 11'd0;
	       y <= y + 1'b1;
	       if (y >= 10'd797)
		 y <= 10'd0;
	    end

	  hblank <= x[10];
	  vblank <= &y[9:8];

	  hsync  <= (x >= 11'd1152 && x < 11'd1264);
	  vsync  <= (y >= 10'd771 && y < 10'd775);
       end // else: !if(~rst_n)

   wire [7:0] hdmi_data[0:2];

   assign hdmi_data[2] = r;
   assign hdmi_data[1] = g;
   assign hdmi_data[0] = b;

   // hdmi_ctl[4] enables TERC4 encoding
   wire [4:0] hdmi_ctl[0:2];

   assign hdmi_ctl[0][0]   = hsync;
   assign hdmi_ctl[0][1]   = vsync;
   assign hdmi_ctl[0][4:2] = 3'b0_00;
   assign hdmi_ctl[1]      = 5'b0_0000;
   assign hdmi_ctl[2]      = 5'b0_0000;

   wire [9:0] hdmi_tmds_data[0:2]; // TMDS encoded data per channel

   generate
      genvar   i;
      for (i = 0; i < 3; i = i + 1)
	begin : hdmitmds
	   tmdsenc enc (
		    .rst_n ( rst_n ),
		    .clk ( vid_clk ),
		    .den ( ~hblank & ~vblank ),
		    .d ( hdmi_data[i] ),
		    .c ( hdmi_ctl[i][3:0] ),
		    .tercen( hdmi_ctl[i][4] ),
		    .q ( hdmi_tmds_data[i] )
		    );
	end
   endgenerate

   assign hdmi_scl = 1'bz;
   assign hdmi_sda = 1'bz;
   assign hdmi_hpd = 1'bz;

   //
   // The ALTLVDS_TX megafunctions is MSB-first and in time-major order.
   // However, TMDS is LSB-first, and we have three TMDS words that
   // concatenate in word(channel)-major order.
   //
   wire [29:0] hdmi_to_tx;	// TMDS data in the order hdmitx expects

   transpose #(.words(3), .bits(10), .reverse_b(1),
	       .reg_d(0), .reg_q(0)) hdmitranspose
     (
      .clk ( vid_clk ),
      .d ( { hdmi_tmds_data[2], hdmi_tmds_data[1], hdmi_tmds_data[0] } ),
      .q ( hdmi_to_tx )
      );

   wire        vid_hdmiclk;

   hdmitx hdmitx (
		  .pll_areset ( ~pll_locked[0] ),
		  .tx_in ( hdmi_to_tx ),
		  .tx_inclock ( vid_clk ),
		  .tx_coreclock ( vid_hdmiclk ), // Pixel clock in HDMI domain
		  .tx_locked ( pll_locked[1] ),
		  .tx_out ( hdmi_d ),
		  .tx_outclock ( hdmi_clk )
		  );
endmodule // video