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