107 lines
3.2 KiB
Coq
107 lines
3.2 KiB
Coq
|
module UART_design(
|
||
|
|
input wire clk, //50MHz clock
|
||
|
|
output reg led, //led
|
||
|
|
input wire rst_n, //rst
|
||
|
|
input wire rxd, // UART RXD
|
||
|
|
output wire txd // UART TXD
|
||
|
|
);
|
||
|
|
|
||
|
|
reg [31:0]cnt; //Clock Posedge Counter
|
||
|
|
reg led_f1,tx_flag; //Flags
|
||
|
|
localparam s_s1=0; //State Machine Param
|
||
|
|
localparam s_s2=1;
|
||
|
|
localparam s_s3=2;
|
||
|
|
localparam s_s4=3;
|
||
|
|
reg [7:0]data[64]; //UART Data to be send
|
||
|
|
reg [7:0]send_data; //UART Send Buffer
|
||
|
|
|
||
|
|
//IP Core register
|
||
|
|
reg to_uart_valid , to_uart_ready;
|
||
|
|
reg [2:0]send_st;
|
||
|
|
reg [7:0]data_cnt;
|
||
|
|
|
||
|
|
//Save Data
|
||
|
|
initial begin
|
||
|
|
data[0]=8'h67; data[1]=8'h30; data[2]=8'h2E; data[3]=8'h74; data[4]=8'h78; data[5]=8'h74; data[6]=8'h3D; data[7]=8'h22;
|
||
|
|
data[8]=8'hCF; data[9]=8'hB2; data[10]=8'hD3;data[11]=8'hAD; data[12]=8'hB6;data[13]=8'hFE;data[14]=8'hCA;data[15]=8'hAE;
|
||
|
|
data[16]=8'hB4;data[17]=8'hF3;data[18]=8'hA1;data[19]=8'hA2; data[20]=8'hD3;data[21]=8'hC0;data[22]=8'hD4;data[23]=8'hB6;
|
||
|
|
data[24]=8'hB8;data[25]=8'hFA;data[26]=8'hB5;data[27]=8'hB3; data[28]=8'hD7;data[29]=8'hDF;data[29]=8'hA1;data[31]=8'hA2;
|
||
|
|
data[32]=8'hB7;data[33]=8'hDC;data[34]=8'hBD;data[35]=8'hF8; data[36]=8'hD0;data[37]=8'hC2;data[38]=8'hD5;data[39]=8'hF7;
|
||
|
|
data[40]=8'hB3;data[41]=8'hCC;data[42]=8'hA1;data[43]=8'hA3; data[44]=8'h22;data[45]=8'hFF;data[46]=8'hFF;data[47]=8'hFF;
|
||
|
|
data[48]=8'h70;data[49]=8'h30;data[50]=8'h2E;data[51]=8'h70; data[52]=8'h69;data[53]=8'h63;data[54]=8'h3D;data[55]=8'h30;
|
||
|
|
data[56]=8'hFF;data[57]=8'hFF;data[58]=8'hFF;data[59]=8'h00; data[60]=8'h00;data[61]=8'h00;data[62]=8'h00;data[63]=8'h00;
|
||
|
|
|
||
|
|
end
|
||
|
|
|
||
|
|
always@(posedge clk)
|
||
|
|
begin
|
||
|
|
led_f1 <= led;
|
||
|
|
tx_flag <= led &(~led_f1);
|
||
|
|
if(cnt >= 32'd25000000 - 1)
|
||
|
|
begin
|
||
|
|
cnt <= 0;
|
||
|
|
led <=~led;
|
||
|
|
end
|
||
|
|
else begin
|
||
|
|
cnt <= cnt + 1'b1 ;
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
always@(posedge clk)
|
||
|
|
begin
|
||
|
|
if(!rst_n)begin
|
||
|
|
to_uart_ready <= 1'b0;
|
||
|
|
to_uart_valid <= 1'b0;
|
||
|
|
send_data <= 8'd0;
|
||
|
|
send_st<= s_s1;
|
||
|
|
data_cnt <= 8'd0;
|
||
|
|
end
|
||
|
|
|
||
|
|
else begin
|
||
|
|
case(send_st)
|
||
|
|
s_s1:begin //s1:idle
|
||
|
|
if(tx_flag)begin
|
||
|
|
send_st <= s_s2;
|
||
|
|
to_uart_valid <= 1'b0;
|
||
|
|
to_uart_ready<= 1'b0;
|
||
|
|
data_cnt <= 8'd0;
|
||
|
|
send_data <= 9;
|
||
|
|
end
|
||
|
|
else begin
|
||
|
|
to_uart_valid <= 1'b0;
|
||
|
|
to_uart_ready<= 1'b0;
|
||
|
|
end
|
||
|
|
end
|
||
|
|
s_s2:begin //s2:send
|
||
|
|
if(data_cnt <= 8'd64-1'b1)begin
|
||
|
|
to_uart_valid <= 1'b1;
|
||
|
|
send_data <= data[data_cnt];
|
||
|
|
data_cnt <= data_cnt + 1'b1;
|
||
|
|
send_st <= (data_cnt >= 8'd64-1'b1)?s_s3:s_s2;
|
||
|
|
end
|
||
|
|
end
|
||
|
|
s_s3:begin //s2:send over
|
||
|
|
to_uart_valid <= 1'b0;
|
||
|
|
to_uart_ready <= 1'b1;
|
||
|
|
send_st <= s_s1;
|
||
|
|
data_cnt<=8'd0;
|
||
|
|
end
|
||
|
|
default :send_st <= s_s1;
|
||
|
|
endcase
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
uart_screen u0 (
|
||
|
|
.rs232_0_to_uart_data (send_data), // rs232_0_avalon_data_transmit_sink.data
|
||
|
|
.rs232_0_to_uart_error (), // .error
|
||
|
|
.rs232_0_to_uart_valid (to_uart_valid), // .valid
|
||
|
|
.rs232_0_to_uart_ready (to_uart_ready), // .ready
|
||
|
|
.rs232_0_UART_RXD (rxd), // rs232_0_external_interface.RXD
|
||
|
|
.rs232_0_UART_TXD (txd), // .TXD
|
||
|
|
.clk_clk (clk), // clk.clk
|
||
|
|
.reset_reset_n (rst_n) // reset.reset_n
|
||
|
|
);
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
endmodule
|