TOP_EARLGREY_BATCH_FPV Formal FPV Results (Summary)

Sunday May 08 2022 16:03:59 UTC

GitHub Revision: 796ea2a54

Branch: master

name pass_rate stimuli_cov coi_cov prove_cov
alert_handler_esc_timer_fpv 89.74 90.51 95.57 90.32
alert_handler_ping_timer_fpv 83.33 80.13 83.97 79.82
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_arbiter_fixed_fpv 100.00 100.00 100.00 100.00
prim_dup_up_count_fpv 75.00 N/A N/A N/A
prim_cross_up_count_fpv 75.00 N/A N/A N/A
prim_cross_down_count_fpv 75.00 N/A N/A N/A
prim_dup_up_count_stopat_cnt0_fpv 83.33 N/A N/A N/A
prim_dup_up_count_stopat_cnt1_fpv 100.00 N/A N/A N/A
prim_cross_up_count_stopat_upcnt_fpv 83.33 N/A N/A N/A
prim_cross_up_count_stopat_downcnt_fpv 100.00 N/A N/A N/A
prim_cross_down_count_stopat_upcnt_fpv 100.00 N/A N/A N/A
prim_cross_down_count_stopat_downcnt_fpv 83.33 N/A N/A N/A
prim_lfsr_fpv 100.00 99.80 100.00 99.66
prim_fifo_sync_fpv 90.52 95.90 97.72 92.80
prim_fifo_async_sram_adapter_fpv 80.00 91.03 100.00 89.39
prim_alert_rxtx_fpv 98.31 95.90 97.44 95.00
prim_alert_rxtx_fatal_fpv 98.33 95.88 97.42 94.93
prim_alert_rxtx_async_fpv 98.59 93.80 96.06 92.71
prim_alert_rxtx_async_fatal_fpv 98.61 93.79 96.05 92.66
prim_esc_rxtx_fpv 94.44 94.27 95.31 94.33
prim_packer_fpv 100.00 87.49 89.77 85.90
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
pinmux_fpv 94.31 85.91 97.24 85.19
pinmux_chip_fpv 95.27 84.41 97.11 83.49
rv_plic_fpv 99.28 93.88 95.81 93.61
prim_max_tree 100.00 100.00 100.00 100.00
prim_sum_tree 100.00 100.00 100.00 100.00
prim_onehot_check 100.00 100.00 100.00 0.00
aes_sec_cm N/A N/A N/A N/A
csrng_sec_cm 41.18 N/A N/A N/A
edn_sec_cm 10.00 N/A N/A N/A
entropy_src_sec_cm 96.43 N/A N/A N/A
flash_ctrl_sec_cm 0.00 N/A N/A N/A
keymgr_sec_cm N/A N/A N/A N/A
kmac_sec_cm 100.00 N/A N/A N/A
lc_ctrl_sec_cm 25.00 N/A N/A N/A
otp_ctrl_sec_cm 100.00 N/A N/A N/A
otbn_sec_cm 100.00 N/A N/A N/A
pwrmgr_sec_cm N/A N/A N/A N/A
rom_ctrl_sec_cm 100.00 N/A N/A N/A
rstmgr_sec_cm N/A N/A N/A N/A
sram_ctrl_sec_cm 100.00 N/A N/A N/A
lc_ctrl_sec_cm_fsm 100.00 N/A N/A N/A
keymgr_sec_cm_fsm 63.16 N/A N/A N/A