Simulation Results: keymgr

 
20/11/2025 16:06:59 sha: e8fccdb json Branch: master Tool: vcs [unknown]
Coverage statistics
  • score
  • 90.86
  • line
  • 98.58
  • cond
  • 94.16
  • toggle
  • 96.73
  • fsm
  • 86.05
  • branch
  • 97.49
  • assert
  • 97.72
  • group
  • 65.3
Validation stages
V1
100.00%
V2
100.00%
V2S
100.00%
V3
100.00%
Testpoint Test Max Runtime Sim Time Pass Total %
smoke 1 1 100.00
keymgr_smoke 2.010s 325.522us 1 1 100.00
random 1 1 100.00
keymgr_random 2.860s 398.441us 1 1 100.00
csr_hw_reset 1 1 100.00
keymgr_csr_hw_reset 0.950s 30.696us 1 1 100.00
csr_rw 1 1 100.00
keymgr_csr_rw 0.710s 22.230us 1 1 100.00
csr_bit_bash 1 1 100.00
keymgr_csr_bit_bash 4.980s 267.085us 1 1 100.00
csr_aliasing 1 1 100.00
keymgr_csr_aliasing 10.860s 1892.360us 1 1 100.00
csr_mem_rw_with_rand_reset 1 1 100.00
keymgr_csr_mem_rw_with_rand_reset 1.170s 21.858us 1 1 100.00
regwen_csr_and_corresponding_lockable_csr 2 2 100.00
keymgr_csr_rw 0.710s 22.230us 1 1 100.00
keymgr_csr_aliasing 10.860s 1892.360us 1 1 100.00
Testpoint Test Max Runtime Sim Time Pass Total %
cfgen_during_op 1 1 100.00
keymgr_cfg_regwen 10.930s 600.373us 1 1 100.00
sideload 4 4 100.00
keymgr_sideload 2.040s 277.666us 1 1 100.00
keymgr_sideload_kmac 2.690s 111.601us 1 1 100.00
keymgr_sideload_aes 3.110s 330.675us 1 1 100.00
keymgr_sideload_otbn 12.750s 3171.345us 1 1 100.00
direct_to_disabled_state 1 1 100.00
keymgr_direct_to_disabled 2.690s 328.503us 1 1 100.00
lc_disable 1 1 100.00
keymgr_lc_disable 2.030s 258.163us 1 1 100.00
kmac_error_response 1 1 100.00
keymgr_kmac_rsp_err 2.420s 186.123us 1 1 100.00
invalid_sw_input 1 1 100.00
keymgr_sw_invalid_input 3.650s 152.778us 1 1 100.00
invalid_hw_input 1 1 100.00
keymgr_hwsw_invalid_input 4.240s 276.837us 1 1 100.00
sync_async_fault_cross 1 1 100.00
keymgr_sync_async_fault_cross 2.170s 78.907us 1 1 100.00
stress_all 1 1 100.00
keymgr_stress_all 16.340s 1870.518us 1 1 100.00
intr_test 1 1 100.00
keymgr_intr_test 0.740s 24.606us 1 1 100.00
alert_test 1 1 100.00
keymgr_alert_test 0.870s 270.409us 1 1 100.00
tl_d_oob_addr_access 1 1 100.00
keymgr_tl_errors 2.070s 161.752us 1 1 100.00
tl_d_illegal_access 1 1 100.00
keymgr_tl_errors 2.070s 161.752us 1 1 100.00
tl_d_outstanding_access 4 4 100.00
keymgr_csr_hw_reset 0.950s 30.696us 1 1 100.00
keymgr_csr_rw 0.710s 22.230us 1 1 100.00
keymgr_csr_aliasing 10.860s 1892.360us 1 1 100.00
keymgr_same_csr_outstanding 1.270s 137.369us 1 1 100.00
tl_d_partial_access 4 4 100.00
keymgr_csr_hw_reset 0.950s 30.696us 1 1 100.00
keymgr_csr_rw 0.710s 22.230us 1 1 100.00
keymgr_csr_aliasing 10.860s 1892.360us 1 1 100.00
keymgr_same_csr_outstanding 1.270s 137.369us 1 1 100.00
Testpoint Test Max Runtime Sim Time Pass Total %
sec_cm_additional_check 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
tl_intg_err 2 2 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
keymgr_tl_intg_err 4.340s 340.136us 1 1 100.00
shadow_reg_update_error 1 1 100.00
keymgr_shadow_reg_errors 2.480s 237.232us 1 1 100.00
shadow_reg_read_clear_staged_value 1 1 100.00
keymgr_shadow_reg_errors 2.480s 237.232us 1 1 100.00
shadow_reg_storage_error 1 1 100.00
keymgr_shadow_reg_errors 2.480s 237.232us 1 1 100.00
shadowed_reset_glitch 1 1 100.00
keymgr_shadow_reg_errors 2.480s 237.232us 1 1 100.00
shadow_reg_update_error_with_csr_rw 1 1 100.00
keymgr_shadow_reg_errors_with_csr_rw 7.370s 590.179us 1 1 100.00
prim_count_check 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
prim_fsm_check 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_bus_integrity 1 1 100.00
keymgr_tl_intg_err 4.340s 340.136us 1 1 100.00
sec_cm_config_shadow 1 1 100.00
keymgr_shadow_reg_errors 2.480s 237.232us 1 1 100.00
sec_cm_op_config_regwen 1 1 100.00
keymgr_cfg_regwen 10.930s 600.373us 1 1 100.00
sec_cm_reseed_config_regwen 2 2 100.00
keymgr_random 2.860s 398.441us 1 1 100.00
keymgr_csr_rw 0.710s 22.230us 1 1 100.00
sec_cm_sw_binding_config_regwen 2 2 100.00
keymgr_random 2.860s 398.441us 1 1 100.00
keymgr_csr_rw 0.710s 22.230us 1 1 100.00
sec_cm_max_key_ver_config_regwen 2 2 100.00
keymgr_random 2.860s 398.441us 1 1 100.00
keymgr_csr_rw 0.710s 22.230us 1 1 100.00
sec_cm_lc_ctrl_intersig_mubi 1 1 100.00
keymgr_lc_disable 2.030s 258.163us 1 1 100.00
sec_cm_constants_consistency 1 1 100.00
keymgr_hwsw_invalid_input 4.240s 276.837us 1 1 100.00
sec_cm_intersig_consistency 1 1 100.00
keymgr_hwsw_invalid_input 4.240s 276.837us 1 1 100.00
sec_cm_hw_key_sw_noaccess 1 1 100.00
keymgr_random 2.860s 398.441us 1 1 100.00
sec_cm_output_keys_ctrl_redun 1 1 100.00
keymgr_sideload_protect 2.860s 354.382us 1 1 100.00
sec_cm_ctrl_fsm_sparse 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_data_fsm_sparse 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_ctrl_fsm_local_esc 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_ctrl_fsm_consistency 1 1 100.00
keymgr_custom_cm 4.800s 321.785us 1 1 100.00
sec_cm_ctrl_fsm_global_esc 1 1 100.00
keymgr_lc_disable 2.030s 258.163us 1 1 100.00
sec_cm_ctrl_ctr_redun 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_kmac_if_fsm_sparse 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_kmac_if_ctr_redun 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_kmac_if_cmd_ctrl_consistency 1 1 100.00
keymgr_custom_cm 4.800s 321.785us 1 1 100.00
sec_cm_kmac_if_done_ctrl_consistency 1 1 100.00
keymgr_custom_cm 4.800s 321.785us 1 1 100.00
sec_cm_reseed_ctr_redun 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_side_load_sel_ctrl_consistency 1 1 100.00
keymgr_custom_cm 4.800s 321.785us 1 1 100.00
sec_cm_sideload_ctrl_fsm_sparse 1 1 100.00
keymgr_sec_cm 8.160s 2315.077us 1 1 100.00
sec_cm_ctrl_key_integrity 1 1 100.00
keymgr_custom_cm 4.800s 321.785us 1 1 100.00
Testpoint Test Max Runtime Sim Time Pass Total %
stress_all_with_rand_reset 1 1 100.00
keymgr_stress_all_with_rand_reset 10.090s 474.689us 1 1 100.00