Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2024-10-01 01:45:38 -04:00
Code Issues Packages Projects Releases Wiki Activity

FPGA: Cleanup tk1 spi testbench

Browse Source 
- 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 <jobson@tillitis.se>
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
This commit is contained in:
Joachim Strömbergson 2024-07-09 09:31:28 +02:00 committed by Daniel Jobson
parent 4003d6a1c0
commit b5ba21148d
No known key found for this signature in database
GPG Key ID: 3707A9DBF4BB8F1A
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
hw/application_fpga/core/tk1/tb/tb_tk1_spi_master.v
View File

@ -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();