TOP_EARLGREY_BATCH_FPV FPV Results (Summary)

Friday January 01 2021 05:24:43PM UTC

Revision: f285b01c4

Branch: master

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.51 100.00 99.44
prim_arbiter_fixed_fpv 100.00 100.00 100.00 100.00
prim_lfsr_fpv 99.95 100.00 100.00 100.00
prim_fifo_sync_fpv 100.00 97.11 98.27 96.02
prim_alert_rxtx_fpv 100.00 99.08 99.08 98.77
prim_alert_rxtx_async_fpv 100.00 97.05 97.05 96.43
prim_esc_rxtx_fpv 100.00 98.00 98.00 97.24
prim_packer_fpv 100.00 88.11 91.08 86.81
padctrl_fpv 93.55 60.79 97.05 58.43
pinmux_fpv 92.70 53.28 99.90 51.31
rv_plic_fpv 100.00 80.09 99.97 79.38
rv_plic_generic_fpv 100.00 80.40 99.92 79.49
sha3pad_fpv 87.50 76.41 79.23 74.79
aes 100.00 N/A N/A N/A
alert_handler 70.31 N/A N/A N/A
entropy_src 89.47 N/A N/A N/A
flash_ctrl 0.00 N/A N/A N/A
gpio 98.00 N/A N/A N/A
hmac 67.26 N/A N/A N/A
i2c 74.87 N/A N/A N/A
keymgr 0.00 N/A N/A N/A
lc_ctrl 0.00 N/A N/A N/A
otp_ctrl 0.00 N/A N/A N/A
rv_timer 100.00 N/A N/A N/A
spi_device 85.98 N/A N/A N/A
uart 81.31 N/A N/A N/A