TOP_EARLGREY_PRIM_FPV Formal FPV Results (Summary)

Saturday August 17 2024 18:32:21 UTC

GitHub Revision: 76588857da

Branch: HEAD

name pass_rate formal_cov stimuli_cov checker_cov
alert_handler_esc_timer_fpv 100.00 90.45 92.13 89.51
alert_handler_ping_timer_fpv 100.00 81.82 82.83 78.34
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.97 96.25 95.00
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 96.08 100.00 94.74
prim_count_zero_reset_fpv 100.00 96.08 100.00 94.74
prim_esc_rxtx_fpv 100.00 91.94 94.31 89.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