f285b01c4
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 |