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