TOP_EARLGREY_PRIM_FPV Formal FPV Results (Summary)

Saturday July 20 2024 18:32:21 UTC

GitHub Revision: e971cd9798

Branch: HEAD

name	pass_rate	formal_cov	stimuli_cov	checker_cov
alert_handler_esc_timer_fpv	100.00	87.50	92.05	85.82
alert_handler_ping_timer_fpv	100.00	81.44	82.47	77.78
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.68	96.25	94.64
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	100.00	100.00	100.00
prim_count_zero_reset_fpv	100.00	100.00	100.00	100.00
prim_esc_rxtx_fpv	100.00	93.72	94.20	91.67
prim_fifo_sync_fpv	90.52	96.18	97.61	93.04
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