mirror of
https://github.com/alexforencich/verilog-axi.git
synced 2025-01-14 06:42:55 +08:00
224 lines
7.0 KiB
Coq
224 lines
7.0 KiB
Coq
|
/*
|
||
|
|
||
|
Copyright (c) 2018 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
|
||
|
|
||
|
/*
|
||
|
* Testbench for axi_dma_wr
|
||
|
*/
|
||
|
module test_axi_dma_wr_32_32;
|
||
|
|
||
|
// Parameters
|
||
|
parameter AXI_DATA_WIDTH = 32;
|
||
|
parameter AXI_ADDR_WIDTH = 16;
|
||
|
parameter AXI_STRB_WIDTH = (AXI_DATA_WIDTH/8);
|
||
|
parameter AXI_ID_WIDTH = 8;
|
||
|
parameter AXI_MAX_BURST_LEN = 16;
|
||
|
parameter AXIS_DATA_WIDTH = AXI_DATA_WIDTH;
|
||
|
parameter AXIS_KEEP_ENABLE = (AXIS_DATA_WIDTH>8);
|
||
|
parameter AXIS_KEEP_WIDTH = (AXIS_DATA_WIDTH/8);
|
||
|
parameter AXIS_LAST_ENABLE = 1;
|
||
|
parameter AXIS_ID_ENABLE = 1;
|
||
|
parameter AXIS_ID_WIDTH = 8;
|
||
|
parameter AXIS_DEST_ENABLE = 0;
|
||
|
parameter AXIS_DEST_WIDTH = 8;
|
||
|
parameter AXIS_USER_ENABLE = 1;
|
||
|
parameter AXIS_USER_WIDTH = 1;
|
||
|
parameter LEN_WIDTH = 20;
|
||
|
parameter TAG_WIDTH = 8;
|
||
|
parameter ENABLE_SG = 0;
|
||
|
parameter ENABLE_UNALIGNED = 0;
|
||
|
|
||
|
// Inputs
|
||
|
reg clk = 0;
|
||
|
reg rst = 0;
|
||
|
reg [7:0] current_test = 0;
|
||
|
|
||
|
reg [AXI_ADDR_WIDTH-1:0] s_axis_write_desc_addr = 0;
|
||
|
reg [LEN_WIDTH-1:0] s_axis_write_desc_len = 0;
|
||
|
reg [TAG_WIDTH-1:0] s_axis_write_desc_tag = 0;
|
||
|
reg s_axis_write_desc_valid = 0;
|
||
|
reg [AXIS_DATA_WIDTH-1:0] s_axis_write_data_tdata = 0;
|
||
|
reg [AXIS_KEEP_WIDTH-1:0] s_axis_write_data_tkeep = 0;
|
||
|
reg s_axis_write_data_tvalid = 0;
|
||
|
reg s_axis_write_data_tlast = 0;
|
||
|
reg [AXIS_ID_WIDTH-1:0] s_axis_write_data_tid = 0;
|
||
|
reg [AXIS_DEST_WIDTH-1:0] s_axis_write_data_tdest = 0;
|
||
|
reg [AXIS_USER_WIDTH-1:0] s_axis_write_data_tuser = 0;
|
||
|
reg m_axi_awready = 0;
|
||
|
reg m_axi_wready = 0;
|
||
|
reg [AXI_ID_WIDTH-1:0] m_axi_bid = 0;
|
||
|
reg [1:0] m_axi_bresp = 0;
|
||
|
reg m_axi_bvalid = 0;
|
||
|
reg enable = 0;
|
||
|
reg abort = 0;
|
||
|
|
||
|
// Outputs
|
||
|
wire s_axis_write_desc_ready;
|
||
|
wire [LEN_WIDTH-1:0] m_axis_write_desc_status_len;
|
||
|
wire [TAG_WIDTH-1:0] m_axis_write_desc_status_tag;
|
||
|
wire [AXIS_ID_WIDTH-1:0] m_axis_write_desc_status_id;
|
||
|
wire [AXIS_DEST_WIDTH-1:0] m_axis_write_desc_status_dest;
|
||
|
wire [AXIS_USER_WIDTH-1:0] m_axis_write_desc_status_user;
|
||
|
wire m_axis_write_desc_status_valid;
|
||
|
wire s_axis_write_data_tready;
|
||
|
wire [AXI_ID_WIDTH-1:0] m_axi_awid;
|
||
|
wire [AXI_ADDR_WIDTH-1:0] m_axi_awaddr;
|
||
|
wire [7:0] m_axi_awlen;
|
||
|
wire [2:0] m_axi_awsize;
|
||
|
wire [1:0] m_axi_awburst;
|
||
|
wire m_axi_awlock;
|
||
|
wire [3:0] m_axi_awcache;
|
||
|
wire [2:0] m_axi_awprot;
|
||
|
wire m_axi_awvalid;
|
||
|
wire [AXI_DATA_WIDTH-1:0] m_axi_wdata;
|
||
|
wire [AXI_STRB_WIDTH-1:0] m_axi_wstrb;
|
||
|
wire m_axi_wlast;
|
||
|
wire m_axi_wvalid;
|
||
|
wire m_axi_bready;
|
||
|
|
||
|
initial begin
|
||
|
// myhdl integration
|
||
|
$from_myhdl(
|
||
|
clk,
|
||
|
rst,
|
||
|
current_test,
|
||
|
s_axis_write_desc_addr,
|
||
|
s_axis_write_desc_len,
|
||
|
s_axis_write_desc_tag,
|
||
|
s_axis_write_desc_valid,
|
||
|
s_axis_write_data_tdata,
|
||
|
s_axis_write_data_tkeep,
|
||
|
s_axis_write_data_tvalid,
|
||
|
s_axis_write_data_tlast,
|
||
|
s_axis_write_data_tid,
|
||
|
s_axis_write_data_tdest,
|
||
|
s_axis_write_data_tuser,
|
||
|
m_axi_awready,
|
||
|
m_axi_wready,
|
||
|
m_axi_bid,
|
||
|
m_axi_bresp,
|
||
|
m_axi_bvalid,
|
||
|
enable
|
||
|
);
|
||
|
$to_myhdl(
|
||
|
s_axis_write_desc_ready,
|
||
|
m_axis_write_desc_status_len,
|
||
|
m_axis_write_desc_status_tag,
|
||
|
m_axis_write_desc_status_id,
|
||
|
m_axis_write_desc_status_dest,
|
||
|
m_axis_write_desc_status_user,
|
||
|
m_axis_write_desc_status_valid,
|
||
|
s_axis_write_data_tready,
|
||
|
m_axi_awid,
|
||
|
m_axi_awaddr,
|
||
|
m_axi_awlen,
|
||
|
m_axi_awsize,
|
||
|
m_axi_awburst,
|
||
|
m_axi_awlock,
|
||
|
m_axi_awcache,
|
||
|
m_axi_awprot,
|
||
|
m_axi_awvalid,
|
||
|
m_axi_wdata,
|
||
|
m_axi_wstrb,
|
||
|
m_axi_wlast,
|
||
|
m_axi_wvalid,
|
||
|
m_axi_bready
|
||
|
);
|
||
|
|
||
|
// dump file
|
||
|
$dumpfile("test_axi_dma_wr_32_32.lxt");
|
||
|
$dumpvars(0, test_axi_dma_wr_32_32);
|
||
|
end
|
||
|
|
||
|
axi_dma_wr #(
|
||
|
.AXI_DATA_WIDTH(AXI_DATA_WIDTH),
|
||
|
.AXI_ADDR_WIDTH(AXI_ADDR_WIDTH),
|
||
|
.AXI_STRB_WIDTH(AXI_STRB_WIDTH),
|
||
|
.AXI_ID_WIDTH(AXI_ID_WIDTH),
|
||
|
.AXI_MAX_BURST_LEN(AXI_MAX_BURST_LEN),
|
||
|
.AXIS_DATA_WIDTH(AXIS_DATA_WIDTH),
|
||
|
.AXIS_KEEP_ENABLE(AXIS_KEEP_ENABLE),
|
||
|
.AXIS_KEEP_WIDTH(AXIS_KEEP_WIDTH),
|
||
|
.AXIS_LAST_ENABLE(AXIS_LAST_ENABLE),
|
||
|
.AXIS_ID_ENABLE(AXIS_ID_ENABLE),
|
||
|
.AXIS_ID_WIDTH(AXIS_ID_WIDTH),
|
||
|
.AXIS_DEST_ENABLE(AXIS_DEST_ENABLE),
|
||
|
.AXIS_DEST_WIDTH(AXIS_DEST_WIDTH),
|
||
|
.AXIS_USER_ENABLE(AXIS_USER_ENABLE),
|
||
|
.AXIS_USER_WIDTH(AXIS_USER_WIDTH),
|
||
|
.LEN_WIDTH(LEN_WIDTH),
|
||
|
.TAG_WIDTH(TAG_WIDTH),
|
||
|
.ENABLE_SG(ENABLE_SG),
|
||
|
.ENABLE_UNALIGNED(ENABLE_UNALIGNED)
|
||
|
)
|
||
|
UUT (
|
||
|
.clk(clk),
|
||
|
.rst(rst),
|
||
|
.s_axis_write_desc_addr(s_axis_write_desc_addr),
|
||
|
.s_axis_write_desc_len(s_axis_write_desc_len),
|
||
|
.s_axis_write_desc_tag(s_axis_write_desc_tag),
|
||
|
.s_axis_write_desc_valid(s_axis_write_desc_valid),
|
||
|
.s_axis_write_desc_ready(s_axis_write_desc_ready),
|
||
|
.m_axis_write_desc_status_len(m_axis_write_desc_status_len),
|
||
|
.m_axis_write_desc_status_tag(m_axis_write_desc_status_tag),
|
||
|
.m_axis_write_desc_status_id(m_axis_write_desc_status_id),
|
||
|
.m_axis_write_desc_status_dest(m_axis_write_desc_status_dest),
|
||
|
.m_axis_write_desc_status_user(m_axis_write_desc_status_user),
|
||
|
.m_axis_write_desc_status_valid(m_axis_write_desc_status_valid),
|
||
|
.s_axis_write_data_tdata(s_axis_write_data_tdata),
|
||
|
.s_axis_write_data_tkeep(s_axis_write_data_tkeep),
|
||
|
.s_axis_write_data_tvalid(s_axis_write_data_tvalid),
|
||
|
.s_axis_write_data_tready(s_axis_write_data_tready),
|
||
|
.s_axis_write_data_tlast(s_axis_write_data_tlast),
|
||
|
.s_axis_write_data_tid(s_axis_write_data_tid),
|
||
|
.s_axis_write_data_tdest(s_axis_write_data_tdest),
|
||
|
.s_axis_write_data_tuser(s_axis_write_data_tuser),
|
||
|
.m_axi_awid(m_axi_awid),
|
||
|
.m_axi_awaddr(m_axi_awaddr),
|
||
|
.m_axi_awlen(m_axi_awlen),
|
||
|
.m_axi_awsize(m_axi_awsize),
|
||
|
.m_axi_awburst(m_axi_awburst),
|
||
|
.m_axi_awlock(m_axi_awlock),
|
||
|
.m_axi_awcache(m_axi_awcache),
|
||
|
.m_axi_awprot(m_axi_awprot),
|
||
|
.m_axi_awvalid(m_axi_awvalid),
|
||
|
.m_axi_awready(m_axi_awready),
|
||
|
.m_axi_wdata(m_axi_wdata),
|
||
|
.m_axi_wstrb(m_axi_wstrb),
|
||
|
.m_axi_wlast(m_axi_wlast),
|
||
|
.m_axi_wvalid(m_axi_wvalid),
|
||
|
.m_axi_wready(m_axi_wready),
|
||
|
.m_axi_bid(m_axi_bid),
|
||
|
.m_axi_bresp(m_axi_bresp),
|
||
|
.m_axi_bvalid(m_axi_bvalid),
|
||
|
.m_axi_bready(m_axi_bready),
|
||
|
.enable(enable),
|
||
|
.abort(abort)
|
||
|
);
|
||
|
|
||
|
endmodule
|