TOP_EARLGREY_SEC_CM_FPV Formal FPV Results (Summary)
Sunday April 02 2023 20:54:03 UTC
Branch: master
name |
pass_rate |
stimuli_cov |
coi_cov |
prove_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 |
100.00 |
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 |
95.65 |
N/A |
N/A |
N/A |
keymgr_sec_cm_fsm |
62.86 |
N/A |
N/A |
N/A |
pwrmgr_esc_unstoppable |
100.00 |
N/A |
N/A |
N/A |