mirror of
https://github.com/retroSoC/retroSoC.git
synced 2026-11-06 14:55:14 +00:00
- Updated filelist to include new UART source files. - Enhanced formal file generation script to support UART target. - Introduced formal verification module and properties for UART. - Modified makefiles to include UART in formal targets and source files. - Added UART-related source files to software build. - Updated top-level wrapper to integrate UART DMA signals. - Implemented UART testbench for comprehensive testing of functionality. - Created Python test script for UART V2 register, FIFO, and interrupt tests. - Added UART helper functions in C test runtime. - Updated DMA error testbench to handle UART signals. - Ensured WS2812 DMA testbench accommodates UART signals.
177 lines
5.3 KiB
Systemverilog
177 lines
5.3 KiB
Systemverilog
`timescale 1ns / 1ps
|
|
|
|
`include "ribp_uart_define.svh"
|
|
|
|
module uart_tb;
|
|
logic clk_i = 1'b0;
|
|
logic rst_n_i = 1'b0;
|
|
logic dma_tx_stall;
|
|
logic dma_rx_stall;
|
|
ribp_if ribp ();
|
|
uart_if uart ();
|
|
|
|
always #5 clk_i = ~clk_i;
|
|
|
|
ribp_uart u_dut (
|
|
.clk_i (clk_i),
|
|
.rst_n_i (rst_n_i),
|
|
.dma_tx_stall_o(dma_tx_stall),
|
|
.dma_rx_stall_o(dma_rx_stall),
|
|
.ribp (ribp),
|
|
.uart (uart)
|
|
);
|
|
|
|
task automatic ribp_write(input logic [31:0] address, input logic [31:0] data,
|
|
input logic [3:0] strobe, input logic expected_error);
|
|
begin
|
|
@(negedge clk_i);
|
|
ribp.addr = address;
|
|
ribp.wdata = data;
|
|
ribp.wstrb = strobe;
|
|
ribp.valid = 1'b1;
|
|
while (!ribp.ready) begin
|
|
@(posedge clk_i);
|
|
#1;
|
|
end
|
|
if (ribp.resp_err !== expected_error) begin
|
|
$fatal(1, "UART write %h error=%b expected=%b", address, ribp.resp_err, expected_error);
|
|
end
|
|
@(negedge clk_i);
|
|
ribp.valid = 1'b0;
|
|
ribp.wstrb = '0;
|
|
end
|
|
endtask
|
|
|
|
task automatic ribp_read(input logic [31:0] address, input logic expected_error,
|
|
output logic [31:0] data);
|
|
begin
|
|
@(negedge clk_i);
|
|
ribp.addr = address;
|
|
ribp.wdata = '0;
|
|
ribp.wstrb = '0;
|
|
ribp.valid = 1'b1;
|
|
while (!ribp.ready) begin
|
|
@(posedge clk_i);
|
|
#1;
|
|
end
|
|
if (ribp.resp_err !== expected_error) begin
|
|
$fatal(1, "UART read %h error=%b expected=%b", address, ribp.resp_err, expected_error);
|
|
end
|
|
data = ribp.rdata;
|
|
@(negedge clk_i);
|
|
ribp.valid = 1'b0;
|
|
end
|
|
endtask
|
|
|
|
task automatic write_ok(input logic [31:0] address, input logic [31:0] data);
|
|
begin
|
|
ribp_write(address, data, 4'hF, 1'b0);
|
|
end
|
|
endtask
|
|
|
|
task automatic configure_uart(input logic [4:0] line_control, input logic [3:0] control);
|
|
begin
|
|
write_ok(`RIBP_UART_CTRL, 0);
|
|
repeat (4) @(posedge clk_i);
|
|
write_ok(`RIBP_UART_FIFO_CTRL, 3);
|
|
write_ok(`RIBP_UART_BAUD_INT, 16);
|
|
write_ok(`RIBP_UART_BAUD_FRAC, 0);
|
|
write_ok(`RIBP_UART_LINE_CTRL, line_control);
|
|
write_ok(`RIBP_UART_CTRL, control);
|
|
end
|
|
endtask
|
|
|
|
task automatic send_external_8n1(input logic [7:0] data, input logic bad_stop);
|
|
integer bit_index;
|
|
begin
|
|
uart.rx_i = 1'b0;
|
|
repeat (16) @(posedge clk_i);
|
|
for (bit_index = 0; bit_index < 8; bit_index = bit_index + 1) begin
|
|
uart.rx_i = data[bit_index];
|
|
repeat (16) @(posedge clk_i);
|
|
end
|
|
uart.rx_i = !bad_stop;
|
|
repeat (16) @(posedge clk_i);
|
|
uart.rx_i = 1'b1;
|
|
repeat (24) @(posedge clk_i);
|
|
end
|
|
endtask
|
|
|
|
initial begin
|
|
logic [31:0] value;
|
|
integer index;
|
|
|
|
ribp.valid = 1'b0;
|
|
ribp.addr = '0;
|
|
ribp.wdata = '0;
|
|
ribp.wstrb = '0;
|
|
uart.rx_i = 1'b1;
|
|
repeat (4) @(posedge clk_i);
|
|
rst_n_i = 1'b1;
|
|
repeat (4) @(posedge clk_i);
|
|
|
|
ribp_read(`RIBP_UART_IP_VERSION, 1'b0, value);
|
|
if (value != 32'h0002_0000) $fatal(1, "UART IP version mismatch");
|
|
ribp_read(`RIBP_UART_CAPABILITY, 1'b0, value);
|
|
if (value != 32'h00FF_4040) $fatal(1, "UART capability mismatch");
|
|
ribp_read(32'h0000_0002, 1'b1, value);
|
|
ribp_read(`RIBP_UART_RXDATA, 1'b1, value);
|
|
|
|
configure_uart(5'd3, 4'b0111);
|
|
write_ok(`RIBP_UART_TXDATA, 8'hA5);
|
|
repeat (220) @(posedge clk_i);
|
|
ribp_read(`RIBP_UART_RXDATA, 1'b0, value);
|
|
if (value[11:0] != 12'h0A5) $fatal(1, "UART 8N1 loopback mismatch: %h", value);
|
|
|
|
configure_uart(5'd3, 4'b0001);
|
|
write_ok(`RIBP_UART_TXDATA, 8'h5A);
|
|
repeat (24) @(posedge clk_i);
|
|
ribp_read(`RIBP_UART_STATUS, 1'b0, value);
|
|
if (!value[`UART_STATUS_TX_BUSY]) $fatal(1, "UART TX did not start before disable");
|
|
write_ok(`RIBP_UART_CTRL, 0);
|
|
repeat (180) @(posedge clk_i);
|
|
ribp_read(`RIBP_UART_STATUS, 1'b0, value);
|
|
if (value[`UART_STATUS_TX_BUSY] || !value[`UART_STATUS_TX_EMPTY]) begin
|
|
$fatal(1, "UART TX did not finish its active frame after disable: %h", value);
|
|
end
|
|
|
|
write_ok(`RIBP_UART_INTR_ENABLE, 6'h3F);
|
|
write_ok(`RIBP_UART_INTR_TEST, 6'h20);
|
|
ribp_read(`RIBP_UART_INTR_STATUS, 1'b0, value);
|
|
if (!value[`UART_INTR_BREAK] || !uart.irq_o) $fatal(1, "UART interrupt test failed");
|
|
write_ok(`RIBP_UART_INTR_STATE, 6'h3F);
|
|
|
|
configure_uart(5'd3, 4'b0010);
|
|
fork
|
|
send_external_8n1(8'h3C, 1'b1);
|
|
join
|
|
ribp_read(`RIBP_UART_RXDATA, 1'b0, value);
|
|
if ((value[7:0] != 8'h3C) || !value[`UART_RXDATA_FRAME_ERROR]) begin
|
|
$fatal(1, "UART frame error was not retained: %h", value);
|
|
end
|
|
|
|
write_ok(`RIBP_UART_CTRL, 0);
|
|
repeat (4) @(posedge clk_i);
|
|
write_ok(`RIBP_UART_FIFO_CTRL, 3);
|
|
for (index = 0; index < 64; index = index + 1) begin
|
|
write_ok(`RIBP_UART_TXDATA, index);
|
|
end
|
|
ribp_write(`RIBP_UART_TXDATA, 32'h55, 4'hF, 1'b1);
|
|
ribp_read(`RIBP_UART_FIFO_LEVEL, 1'b0, value);
|
|
if (value[6:0] != 7'd64) $fatal(1, "UART TX FIFO depth mismatch: %h", value);
|
|
|
|
write_ok(`RIBP_UART_FIFO_CTRL, 3);
|
|
write_ok(`RIBP_UART_DMA_CTRL, 3);
|
|
if (!dma_tx_stall || !dma_rx_stall) $fatal(1, "Disabled UART asserted a DMA request");
|
|
|
|
$display("UART V2 register, FIFO, loopback, error, interrupt, and DMA test passed");
|
|
$finish;
|
|
end
|
|
|
|
initial begin
|
|
repeat (20000) @(posedge clk_i);
|
|
$fatal(1, "UART test timeout");
|
|
end
|
|
|
|
endmodule
|