TOP_EARLGREY_PRIM_FPV Formal FPV Results (Summary)

Saturday June 22 2024 18:32:25 UTC

GitHub Revision: de38ce313c

Branch: HEAD

name pass_rate formal_cov stimuli_cov checker_cov
alert_handler_esc_timer_fpv 100.00 90.34 92.05 89.36
alert_handler_ping_timer_fpv 100.00 81.44 82.47 77.78
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 100.00 100.00 100.00
prim_count_zero_reset_fpv 100.00 100.00 100.00 100.00
prim_esc_rxtx_fpv 100.00 93.72 94.20 91.67
prim_fifo_sync_fpv 90.52 96.18 97.61 93.04
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