From b5ba21148dd8d137a4439a2737abe1b6c220b469 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joachim=20Str=C3=B6mbergson?= Date: Tue, 9 Jul 2024 09:31:28 +0200 Subject: [PATCH] FPGA: Cleanup tk1 spi testbench MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - Remove DUT variables from state display that was removed as part of performance fix - Corrected some incorrect display statements for expected unique ID and byte counters Co-authored-by: Daniel Jobson Signed-off-by: Joachim Strömbergson --- hw/application_fpga/core/tk1/tb/tb_tk1_spi_master.v | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/hw/application_fpga/core/tk1/tb/tb_tk1_spi_master.v b/hw/application_fpga/core/tk1/tb/tb_tk1_spi_master.v index 8fa8778..c19b396 100644 --- a/hw/application_fpga/core/tk1/tb/tb_tk1_spi_master.v +++ b/hw/application_fpga/core/tk1/tb/tb_tk1_spi_master.v @@ -155,9 +155,6 @@ module tb_tk1_spi_master(); $display(""); $display("Internal state:"); - $display("spi_clk_ctr_rst: 0x%1x, spi_clk_ctr_reg: 0x%02x", - dut.spi_clk_ctr_rst, dut.spi_clk_ctr_reg); - $display(""); $display("spi_bit_ctr_rst: 0x%1x, spi_bit_ctr_inc: 0x%1x, spi_bit_ctr_reg: 0x%02x", dut.spi_bit_ctr_rst, dut.spi_bit_ctr_inc, dut.spi_bit_ctr_reg); $display(""); @@ -445,9 +442,9 @@ module tb_tk1_spi_master(); xfer_byte(8'h00, rx_byte); $display("--- tc_get_device_id: Got ID 0x%02x after dummy byte 6", rx_byte); xfer_byte(8'h00, rx_byte); - $display("--- tc_get_device_id: Got ID 0x%02x after dummy byte 6", rx_byte); + $display("--- tc_get_device_id: Got ID 0x%02x after dummy byte 7", rx_byte); xfer_byte(8'h00, rx_byte); - $display("--- tc_get_device_id: Got ID 0x%02x after dummy byte 6", rx_byte); + $display("--- tc_get_device_id: Got ID 0x%02x after dummy byte 8", rx_byte); disable_spi(); #(2 * CLK_PERIOD); @@ -516,7 +513,7 @@ module tb_tk1_spi_master(); $display(""); $display("--- tc_get_unique_device_id: Read out unique id from the memory"); - $display("--- tc_get_unique_device_id: Expected result: 0x0102030405060708"); + $display("--- tc_get_unique_device_id: Expected result: 0xdc02030405060708"); #(2 * CLK_PERIOD); enable_spi();