TOP_EARLGREY_BATCH_FPV Formal FPV Results (Summary)

Sunday May 08 2022 16:03:59 UTC

GitHub Revision: 796ea2a54

Branch: master

name	pass_rate	stimuli_cov	coi_cov	prove_cov
alert_handler_esc_timer_fpv	89.74	90.51	95.57	90.32
alert_handler_ping_timer_fpv	83.33	80.13	83.97	79.82
prim_arbiter_ppc_fpv	100.00	100.00	100.00	100.00
prim_arbiter_tree_fpv	100.00	100.00	100.00	100.00
prim_arbiter_fixed_fpv	100.00	100.00	100.00	100.00
prim_dup_up_count_fpv	75.00	N/A	N/A	N/A
prim_cross_up_count_fpv	75.00	N/A	N/A	N/A
prim_cross_down_count_fpv	75.00	N/A	N/A	N/A
prim_dup_up_count_stopat_cnt0_fpv	83.33	N/A	N/A	N/A
prim_dup_up_count_stopat_cnt1_fpv	100.00	N/A	N/A	N/A
prim_cross_up_count_stopat_upcnt_fpv	83.33	N/A	N/A	N/A
prim_cross_up_count_stopat_downcnt_fpv	100.00	N/A	N/A	N/A
prim_cross_down_count_stopat_upcnt_fpv	100.00	N/A	N/A	N/A
prim_cross_down_count_stopat_downcnt_fpv	83.33	N/A	N/A	N/A
prim_lfsr_fpv	100.00	99.80	100.00	99.66
prim_fifo_sync_fpv	90.52	95.90	97.72	92.80
prim_fifo_async_sram_adapter_fpv	80.00	91.03	100.00	89.39
prim_alert_rxtx_fpv	98.31	95.90	97.44	95.00
prim_alert_rxtx_fatal_fpv	98.33	95.88	97.42	94.93
prim_alert_rxtx_async_fpv	98.59	93.80	96.06	92.71
prim_alert_rxtx_async_fatal_fpv	98.61	93.79	96.05	92.66
prim_esc_rxtx_fpv	94.44	94.27	95.31	94.33
prim_packer_fpv	100.00	87.49	89.77	85.90
prim_secded_22_16_fpv	100.00	100.00	100.00	100.00
prim_secded_28_22_fpv	100.00	100.00	100.00	100.00
prim_secded_39_32_fpv	100.00	100.00	100.00	100.00
prim_secded_64_57_fpv	100.00	100.00	100.00	100.00
prim_secded_72_64_fpv	100.00	100.00	100.00	100.00
prim_secded_hamming_22_16_fpv	100.00	100.00	100.00	100.00
prim_secded_hamming_39_32_fpv	100.00	100.00	100.00	100.00
prim_secded_hamming_72_64_fpv	100.00	100.00	100.00	100.00
prim_secded_inv_22_16_fpv	100.00	100.00	100.00	100.00
prim_secded_inv_28_22_fpv	100.00	100.00	100.00	100.00
prim_secded_inv_39_32_fpv	100.00	100.00	100.00	100.00
prim_secded_inv_64_57_fpv	100.00	100.00	100.00	100.00
prim_secded_inv_72_64_fpv	100.00	100.00	100.00	100.00
prim_secded_inv_hamming_22_16_fpv	100.00	100.00	100.00	100.00
prim_secded_inv_hamming_39_32_fpv	100.00	100.00	100.00	100.00
prim_secded_inv_hamming_72_64_fpv	100.00	100.00	100.00	100.00
pinmux_fpv	94.31	85.91	97.24	85.19
pinmux_chip_fpv	95.27	84.41	97.11	83.49
rv_plic_fpv	99.28	93.88	95.81	93.61
prim_max_tree	100.00	100.00	100.00	100.00
prim_sum_tree	100.00	100.00	100.00	100.00
prim_onehot_check	100.00	100.00	100.00	0.00
aes_sec_cm	N/A	N/A	N/A	N/A
csrng_sec_cm	41.18	N/A	N/A	N/A
edn_sec_cm	10.00	N/A	N/A	N/A
entropy_src_sec_cm	96.43	N/A	N/A	N/A
flash_ctrl_sec_cm	0.00	N/A	N/A	N/A
keymgr_sec_cm	N/A	N/A	N/A	N/A
kmac_sec_cm	100.00	N/A	N/A	N/A
lc_ctrl_sec_cm	25.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	N/A	N/A	N/A	N/A
rom_ctrl_sec_cm	100.00	N/A	N/A	N/A
rstmgr_sec_cm	N/A	N/A	N/A	N/A
sram_ctrl_sec_cm	100.00	N/A	N/A	N/A
lc_ctrl_sec_cm_fsm	100.00	N/A	N/A	N/A
keymgr_sec_cm_fsm	63.16	N/A	N/A	N/A