TOP_EARLGREY_SEC_CM_FPV Formal FPV Results (Summary)
Saturday August 17 2024 18:32:21 UTC
Branch: HEAD
name |
pass_rate |
formal_cov |
stimuli_cov |
checker_cov |
aes_masked_sec_cm |
100.00 |
N/A |
N/A |
N/A |
aes_unmasked_sec_cm |
100.00 |
N/A |
N/A |
N/A |
alert_handler_sec_cm |
100.00 |
N/A |
N/A |
N/A |
clkmgr_sec_cm |
100.00 |
N/A |
N/A |
N/A |
csrng_sec_cm |
100.00 |
N/A |
N/A |
N/A |
edn_sec_cm |
100.00 |
N/A |
N/A |
N/A |
entropy_src_sec_cm |
100.00 |
N/A |
N/A |
N/A |
flash_ctrl_sec_cm |
100.00 |
N/A |
N/A |
N/A |
keymgr_sec_cm |
100.00 |
N/A |
N/A |
N/A |
kmac_sec_cm |
100.00 |
N/A |
N/A |
N/A |
lc_ctrl_sec_cm |
83.33 |
N/A |
N/A |
N/A |
otp_ctrl_sec_cm |
100.00 |
N/A |
N/A |
N/A |
otbn_sec_cm |
100.00 |
N/A |
N/A |
N/A |
pwrmgr_sec_cm |
100.00 |
N/A |
N/A |
N/A |
rom_ctrl_sec_cm |
100.00 |
N/A |
N/A |
N/A |
rstmgr_sec_cm |
100.00 |
N/A |
N/A |
N/A |
rv_core_ibex_sec_cm |
100.00 |
N/A |
N/A |
N/A |
sram_ctrl_sec_cm |
100.00 |
N/A |
N/A |
N/A |
pinmux_sec_cm |
100.00 |
N/A |
N/A |
N/A |
rv_plic_sec_cm |
100.00 |
N/A |
N/A |
N/A |
lc_ctrl_sec_cm_fsm |
100.00 |
N/A |
N/A |
N/A |
rom_ctrl_sec_cm_fsm |
100.00 |
N/A |
N/A |
N/A |
keymgr_sec_cm_fsm |
100.00 |
N/A |
N/A |
N/A |
pwrmgr_esc_unstoppable |
100.00 |
N/A |
N/A |
N/A |