| V1 |
|
100.00% |
| V2 |
|
100.00% |
| V2S |
|
75.00% |
| V3 |
|
100.00% |
| Testpoint | Test | Max Runtime | Sim Time | Pass | Total | % |
|---|---|---|---|---|---|---|
| smoke | 1 | 1 | 100.00 | |||
| rom_ctrl_smoke | 3.690s | 1194.395us | 1 | 1 | 100.00 | |
| csr_hw_reset | 1 | 1 | 100.00 | |||
| rom_ctrl_csr_hw_reset | 5.120s | 1132.022us | 1 | 1 | 100.00 | |
| csr_rw | 1 | 1 | 100.00 | |||
| rom_ctrl_csr_rw | 4.370s | 165.293us | 1 | 1 | 100.00 | |
| csr_bit_bash | 1 | 1 | 100.00 | |||
| rom_ctrl_csr_bit_bash | 3.540s | 212.895us | 1 | 1 | 100.00 | |
| csr_aliasing | 1 | 1 | 100.00 | |||
| rom_ctrl_csr_aliasing | 4.310s | 176.681us | 1 | 1 | 100.00 | |
| csr_mem_rw_with_rand_reset | 1 | 1 | 100.00 | |||
| rom_ctrl_csr_mem_rw_with_rand_reset | 3.990s | 621.112us | 1 | 1 | 100.00 | |
| regwen_csr_and_corresponding_lockable_csr | 2 | 2 | 100.00 | |||
| rom_ctrl_csr_rw | 4.370s | 165.293us | 1 | 1 | 100.00 | |
| rom_ctrl_csr_aliasing | 4.310s | 176.681us | 1 | 1 | 100.00 | |
| mem_walk | 1 | 1 | 100.00 | |||
| rom_ctrl_mem_walk | 3.460s | 555.514us | 1 | 1 | 100.00 | |
| mem_partial_access | 1 | 1 | 100.00 | |||
| rom_ctrl_mem_partial_access | 4.910s | 559.134us | 1 | 1 | 100.00 | |
| Testpoint | Test | Max Runtime | Sim Time | Pass | Total | % |
|---|---|---|---|---|---|---|
| max_throughput_chk | 1 | 1 | 100.00 | |||
| rom_ctrl_max_throughput_chk | 5.530s | 178.060us | 1 | 1 | 100.00 | |
| stress_all | 1 | 1 | 100.00 | |||
| rom_ctrl_stress_all | 12.320s | 470.664us | 1 | 1 | 100.00 | |
| kmac_err_chk | 1 | 1 | 100.00 | |||
| rom_ctrl_kmac_err_chk | 6.450s | 743.663us | 1 | 1 | 100.00 | |
| alert_test | 1 | 1 | 100.00 | |||
| rom_ctrl_alert_test | 3.670s | 993.247us | 1 | 1 | 100.00 | |
| tl_d_oob_addr_access | 1 | 1 | 100.00 | |||
| rom_ctrl_tl_errors | 6.270s | 313.610us | 1 | 1 | 100.00 | |
| tl_d_illegal_access | 1 | 1 | 100.00 | |||
| rom_ctrl_tl_errors | 6.270s | 313.610us | 1 | 1 | 100.00 | |
| tl_d_outstanding_access | 4 | 4 | 100.00 | |||
| rom_ctrl_csr_hw_reset | 5.120s | 1132.022us | 1 | 1 | 100.00 | |
| rom_ctrl_csr_rw | 4.370s | 165.293us | 1 | 1 | 100.00 | |
| rom_ctrl_csr_aliasing | 4.310s | 176.681us | 1 | 1 | 100.00 | |
| rom_ctrl_same_csr_outstanding | 3.720s | 131.513us | 1 | 1 | 100.00 | |
| tl_d_partial_access | 4 | 4 | 100.00 | |||
| rom_ctrl_csr_hw_reset | 5.120s | 1132.022us | 1 | 1 | 100.00 | |
| rom_ctrl_csr_rw | 4.370s | 165.293us | 1 | 1 | 100.00 | |
| rom_ctrl_csr_aliasing | 4.310s | 176.681us | 1 | 1 | 100.00 | |
| rom_ctrl_same_csr_outstanding | 3.720s | 131.513us | 1 | 1 | 100.00 | |
| Testpoint | Test | Max Runtime | Sim Time | Pass | Total | % |
|---|---|---|---|---|---|---|
| corrupt_sig_fatal_chk | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| passthru_mem_tl_intg_err | 1 | 1 | 100.00 | |||
| rom_ctrl_passthru_mem_tl_intg_err | 21.060s | 862.096us | 1 | 1 | 100.00 | |
| tl_intg_err | 1 | 2 | 50.00 | |||
| rom_ctrl_sec_cm | 191.190s | 1968.563us | 0 | 1 | 0.00 | |
| rom_ctrl_tl_intg_err | 23.630s | 685.564us | 1 | 1 | 100.00 | |
| prim_fsm_check | 0 | 1 | 0.00 | |||
| rom_ctrl_sec_cm | 191.190s | 1968.563us | 0 | 1 | 0.00 | |
| prim_count_check | 0 | 1 | 0.00 | |||
| rom_ctrl_sec_cm | 191.190s | 1968.563us | 0 | 1 | 0.00 | |
| sec_cm_checker_ctr_consistency | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| sec_cm_checker_ctrl_flow_consistency | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| sec_cm_checker_fsm_local_esc | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| sec_cm_compare_ctrl_flow_consistency | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| sec_cm_compare_ctr_consistency | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| sec_cm_compare_ctr_redun | 0 | 1 | 0.00 | |||
| rom_ctrl_sec_cm | 191.190s | 1968.563us | 0 | 1 | 0.00 | |
| sec_cm_fsm_sparse | 0 | 1 | 0.00 | |||
| rom_ctrl_sec_cm | 191.190s | 1968.563us | 0 | 1 | 0.00 | |
| sec_cm_mem_scramble | 1 | 1 | 100.00 | |||
| rom_ctrl_smoke | 3.690s | 1194.395us | 1 | 1 | 100.00 | |
| sec_cm_mem_digest | 1 | 1 | 100.00 | |||
| rom_ctrl_smoke | 3.690s | 1194.395us | 1 | 1 | 100.00 | |
| sec_cm_intersig_mubi | 1 | 1 | 100.00 | |||
| rom_ctrl_smoke | 3.690s | 1194.395us | 1 | 1 | 100.00 | |
| sec_cm_bus_integrity | 1 | 1 | 100.00 | |||
| rom_ctrl_tl_intg_err | 23.630s | 685.564us | 1 | 1 | 100.00 | |
| sec_cm_bus_local_esc | 2 | 2 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| rom_ctrl_kmac_err_chk | 6.450s | 743.663us | 1 | 1 | 100.00 | |
| sec_cm_mux_mubi | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| sec_cm_mux_consistency | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| sec_cm_ctrl_redun | 1 | 1 | 100.00 | |||
| rom_ctrl_corrupt_sig_fatal_chk | 83.410s | 16147.203us | 1 | 1 | 100.00 | |
| sec_cm_ctrl_mem_integrity | 1 | 1 | 100.00 | |||
| rom_ctrl_passthru_mem_tl_intg_err | 21.060s | 862.096us | 1 | 1 | 100.00 | |
| sec_cm_tlul_fifo_ctr_redun | 0 | 1 | 0.00 | |||
| rom_ctrl_sec_cm | 191.190s | 1968.563us | 0 | 1 | 0.00 | |
| Testpoint | Test | Max Runtime | Sim Time | Pass | Total | % |
|---|---|---|---|---|---|---|
| stress_all_with_rand_reset | 1 | 1 | 100.00 | |||
| rom_ctrl_stress_all_with_rand_reset | 146.900s | 3995.485us | 1 | 1 | 100.00 | |
| Test | seed | line | log context | |
|---|---|---|---|---|
| Offending '(d2h.d_opcode === (((curr_fwd ? curr_req.opcode : pend_req[d2h.d_source].opcode) == Get) ? AccessAckData : AccessAck))' | ||||
| rom_ctrl_sec_cm | 88848629698286738011996687951864267496952148088685380509114289892749385221816 | 108 |
Offending '(d2h.d_opcode === (((curr_fwd ? curr_req.opcode : pend_req[d2h.d_source].opcode) == Get) ? AccessAckData : AccessAck))'
"src/lowrisc_tlul_common_0.1/rtl/tlul_assert.sv", 292: tb.dut.rom_tlul_assert_device.gen_device.gen_d2h.respSzEqReqSz_A: started at 11182903ps failed at 11182903ps
Offending '(d2h.d_size === (curr_fwd ? curr_req.size : pend_req[d2h.d_source].size))'
"src/lowrisc_tlul_common_0.1/rtl/tlul_assert.sv", 293: tb.dut.rom_tlul_assert_device.gen_device.gen_d2h.respMustHaveReq_A: started at 11182903ps failed at 11182903ps
Offending '(curr_fwd | pend_req[d2h.d_source].pend)'
|
|