TOP_EARLGREY_BATCH_FPV FPV Results (Summary)

Saturday September 26 2020 12:15:27AM UTC

Revision: 38a3babb on fpv_regression

name pass_rate stimuli_cov coi_cov prove_cov
prim_arbiter_ppc_fpv 100.00 100.00 100.00 100.00
prim_arbiter_tree_fpv 100.00 99.50 100.00 99.44
prim_arbiter_fixed_fpv 100.00 100.00 100.00 100.00
prim_lfsr_fpv 100.00 100.00 100.00 100.00
prim_fifo_sync_fpv 100.00 90.73 98.21 87.91
prim_alert_rxtx_fpv 100.00 98.96 98.96 98.62
prim_alert_rxtx_async_fpv 100.00 96.85 96.85 96.21
prim_esc_rxtx_fpv 100.00 97.92 97.92 97.18
prim_packer_fpv 100.00 88.23 91.17 86.81
padctrl_fpv 92.73 59.75 97.17 58.03
pinmux_fpv 0.00 N/A N/A N/A
rv_plic_fpv 100.00 80.43 100.00 79.77
rv_plic_generic_fpv 100.00 72.49 100.00 71.31