cva6
cva6 copied to clipboard
assertion failed for bresp
Hi,
I tried to run the benchmarck median test with cv32_imac_sv32 configurantion file.
The test is finished sucessfully and all the instructions are matched.But in the log file I found one violation related to bresp_all_done assertions shown below.
$finish called from file "/tools/synopsys/vcs/T-2022.06-SP1-1/etc/uvm-1.2/base/uvm_root.svh", line 527. "/cva6/verif/core-v-verif/lib/uvm_agents/uvma_axi5/src/uvma_axi_assert.sv", 142: uvmt_cva6_tb.cva6_dut_wrap.axi_assert.axi_mix_assert.unnamed$$_0.axi4_bresp_all_done: started at 43599500ps failed at 43599500ps Offending '(burst_resp[i] == 0)' UVM_ERROR @ 43599.500 ns : uvma_axi_assert.sv(144) reporter [AXI4 protocol checks assertion] Violation of bresp_all_done UVM_INFO @ 43599.500 ns : uvma_axi_assert.sv(336) reporter [AXI4 protocol checks assertion] coverage cov_w_data_num property = 441 UVM_INFO @ 43599.500 ns : uvma_axi_assert.sv(337) reporter [AXI4 protocol checks assertion] coverage cov_w_data_num_not property = 0 UVM_INFO @ 43599.500 ns : uvma_axi_assert.sv(338) reporter [AXI4 protocol checks assertion] coverage cov_errm_wstrb property = 1764 UVM_INFO @ 43599.500 ns : uvma_axi_assert.sv(339) reporter [AXI4 protocol checks assertion] coverage r_last property = 0 UVM_INFO @ 43599.500 ns : uvma_axi_assert.sv(340) reporter [AXI4 protocol checks assertion] coverage axi4_errs_rid property = 0 UVM_INFO @ 43599.500 ns : uvma_axi_assert.sv(341) reporter [AXI4 protocol checks assertion] coverage burst_ter_early property = 0
uvmt_cva6_tb.end_of_test: *** Test Summary ***
FFFFFFFF AAAAAA IIIIII LL EEEEEEEE DDDDDDD
FF AA AA II LL EE DD DD
FF AA AA II LL EE DD DD
FFFFF AAAAAAAA II LL EEEEE DD DD
FF AA AA II LL EE DD DD
FF AA AA II LL EE DD DD
FF AA AA IIIIII LLLLLLLL EEEEEEEE DDDDDDD
----------------------------------------------------------
SIMULATION FAILED
test exit code = 0 (0x00000000)
----------------------------------------------------------
$finish at simulation time 43599.500 ns
From the waveform I found that there is write request initiated at time 43596.5ns , but the simulation finished at time 434599.5 ns without getting bresp signals.
I tried to increased the simulation time , but still the test is finished at 43599.5 ns without getting the bresp signal from axi-interconnect.
How to resolve this issue?
Thanks