TOP_EARLGREY_PRIM_FPV Formal FPV Results (Summary)

Wednesday February 28 2024 23:53:53 UTC

GitHub Revision: 32ed2c4230

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 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