TOP_EARLGREY_PRIM_FPV Formal FPV Results (Summary)

Saturday April 01 2023 21:08:45 UTC

GitHub Revision: daf28c8f5

Branch: master

name	pass_rate	stimuli_cov	coi_cov	prove_cov
alert_handler_esc_timer_fpv	82.14	84.44	88.89	86.86
alert_handler_ping_timer_fpv	72.94	73.53	74.51	78.62
prim_alert_rxtx_fpv	98.31	95.85	97.41	94.93
prim_alert_rxtx_fatal_fpv	98.33	95.83	97.40	94.85
prim_alert_rxtx_async_fpv	98.59	95.68	95.97	95.00
prim_alert_rxtx_async_fatal_fpv	98.61	95.95	95.95	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	95.83	95.83	100.00
prim_count_zero_reset_fpv	100.00	95.83	95.83	100.00
prim_esc_rxtx_fpv	84.72	88.68	89.15	91.45
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