116 lines
3.0 KiB
Coq
116 lines
3.0 KiB
Coq
|
|
/*
|
||
|
|
|
||
|
|
Copyright (c) 2014-2017 Alex Forencich
|
||
|
|
|
||
|
|
Permission is hereby granted, free of charge, to any person obtaining a copy
|
||
|
|
of this software and associated documentation files (the "Software"), to deal
|
||
|
|
in the Software without restriction, including without limitation the rights
|
||
|
|
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
||
|
|
copies of the Software, and to permit persons to whom the Software is
|
||
|
|
furnished to do so, subject to the following conditions:
|
||
|
|
|
||
|
|
The above copyright notice and this permission notice shall be included in
|
||
|
|
all copies or substantial portions of the Software.
|
||
|
|
|
||
|
|
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
||
|
|
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY
|
||
|
|
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
||
|
|
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
||
|
|
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
||
|
|
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
|
||
|
|
THE SOFTWARE.
|
||
|
|
|
||
|
|
*/
|
||
|
|
|
||
|
|
// Language: Verilog 2001
|
||
|
|
|
||
|
|
`timescale 1ns / 1ps
|
||
|
|
|
||
|
|
/*
|
||
|
|
* AXI4-Stream UART
|
||
|
|
*/
|
||
|
|
module uart_tx #
|
||
|
|
(
|
||
|
|
parameter DATA_WIDTH = 8
|
||
|
|
)
|
||
|
|
(
|
||
|
|
input wire clk,
|
||
|
|
input wire rst,
|
||
|
|
|
||
|
|
/*
|
||
|
|
* AXI input
|
||
|
|
*/
|
||
|
|
input wire [DATA_WIDTH-1:0] s_axis_tdata,
|
||
|
|
input wire s_axis_tvalid,
|
||
|
|
output wire s_axis_tready,
|
||
|
|
|
||
|
|
/*
|
||
|
|
* UART interface
|
||
|
|
*/
|
||
|
|
output wire txd,
|
||
|
|
|
||
|
|
/*
|
||
|
|
* Status
|
||
|
|
*/
|
||
|
|
output wire busy,
|
||
|
|
|
||
|
|
/*
|
||
|
|
* Configuration
|
||
|
|
*/
|
||
|
|
input wire [15:0] prescale
|
||
|
|
);
|
||
|
|
|
||
|
|
reg s_axis_tready_reg = 0;
|
||
|
|
|
||
|
|
reg txd_reg = 1;
|
||
|
|
|
||
|
|
reg busy_reg = 0;
|
||
|
|
|
||
|
|
reg [DATA_WIDTH:0] data_reg = 0;
|
||
|
|
reg [18:0] prescale_reg = 0;
|
||
|
|
reg [3:0] bit_cnt = 0;
|
||
|
|
|
||
|
|
assign s_axis_tready = s_axis_tready_reg;
|
||
|
|
assign txd = txd_reg;
|
||
|
|
|
||
|
|
assign busy = busy_reg;
|
||
|
|
|
||
|
|
always @(posedge clk) begin
|
||
|
|
if (rst) begin
|
||
|
|
s_axis_tready_reg <= 0;
|
||
|
|
txd_reg <= 1;
|
||
|
|
prescale_reg <= 0;
|
||
|
|
bit_cnt <= 0;
|
||
|
|
busy_reg <= 0;
|
||
|
|
end else begin
|
||
|
|
if (prescale_reg > 0) begin
|
||
|
|
s_axis_tready_reg <= 0;
|
||
|
|
prescale_reg <= prescale_reg - 1;
|
||
|
|
end else if (bit_cnt == 0) begin
|
||
|
|
s_axis_tready_reg <= 1;
|
||
|
|
busy_reg <= 0;
|
||
|
|
|
||
|
|
if (s_axis_tvalid) begin
|
||
|
|
s_axis_tready_reg <= !s_axis_tready_reg;
|
||
|
|
prescale_reg <= (prescale << 3)-1;
|
||
|
|
bit_cnt <= DATA_WIDTH+1;
|
||
|
|
data_reg <= {1'b1, s_axis_tdata};
|
||
|
|
txd_reg <= 0;
|
||
|
|
busy_reg <= 1;
|
||
|
|
end
|
||
|
|
end else begin
|
||
|
|
if (bit_cnt > 1) begin
|
||
|
|
bit_cnt <= bit_cnt - 1;
|
||
|
|
prescale_reg <= (prescale << 3)-1;
|
||
|
|
{data_reg, txd_reg} <= {1'b0, data_reg};
|
||
|
|
end else if (bit_cnt == 1) begin
|
||
|
|
bit_cnt <= bit_cnt - 1;
|
||
|
|
prescale_reg <= (prescale << 3);
|
||
|
|
txd_reg <= 1;
|
||
|
|
end
|
||
|
|
end
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
endmodule
|