TOP_EARLGREY_SEC_CM_FPV Formal FPV Results (Summary)

Saturday August 17 2024 18:32:21 UTC

GitHub Revision: 76588857da

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