TOP_EARLGREY_SEC_CM_FPV Formal FPV Results (Summary)

Saturday June 22 2024 18:32:25 UTC

GitHub Revision: de38ce313c

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