TOP_EARLGREY_SEC_CM_FPV Formal FPV Results (Summary)

Sunday April 02 2023 20:54:03 UTC

GitHub Revision: daf28c8f5

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