TOP_EARLGREY_PRIM_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
alert_handler_esc_timer_fpv	100.00	90.45	92.13	89.51
alert_handler_ping_timer_fpv	100.00	81.82	82.83	78.34
prim_alert_rxtx_fpv	100.00	96.37	97.93	94.93
prim_alert_rxtx_fatal_fpv	100.00	96.35	97.92	94.85
prim_alert_rxtx_async_fpv	100.00	95.97	96.25	95.00
prim_alert_rxtx_async_fatal_fpv	100.00	96.24	96.24	95.32
prim_arbiter_fixed_fpv	100.00	100.00	100.00	100.00
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_count_max_reset_fpv	100.00	96.08	100.00	94.74
prim_count_zero_reset_fpv	100.00	96.08	100.00	94.74
prim_esc_rxtx_fpv	100.00	91.94	94.31	89.38
prim_fifo_sync_fpv	90.52	95.70	97.61	92.17
prim_fifo_async_sram_adapter_fpv	80.00	91.25	100.00	89.71
prim_lfsr_fpv	100.00	99.80	100.00	99.66
prim_max_tree	100.00	100.00	100.00	100.00
prim_onehot_check	100.00	100.00	100.00	0.00
prim_packer_fpv	100.00	86.90	89.28	85.14
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
prim_sum_tree	100.00	100.00	100.00	100.00