TOP_EARLGREY_PRIM_FPV Formal FPV Results (Summary)

Saturday April 13 2024 18:32:28 UTC

GitHub Revision: a85642d39f

Branch: HEAD

name	pass_rate	stimuli_cov	coi_cov	prove_cov
alert_handler_esc_timer_fpv	82.14	83.70	88.04	85.82
alert_handler_ping_timer_fpv	72.94	72.64	73.58	77.12
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	N/A	N/A	N/A	N/A
prim_count_zero_reset_fpv	N/A	N/A	N/A	N/A
prim_esc_rxtx_fpv	84.72	87.96	88.43	90.38
prim_fifo_sync_fpv	90.52	96.66	97.61	93.91
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