TOP_EARLGREY_BATCH_FPV Formal FPV Results (Summary)

Saturday October 16 2021 08:12:41 UTC

GitHub Revision: 727f1312e

Branch: master

name pass_rate stimuli_cov coi_cov prove_cov
alert_handler_esc_timer_fpv N/A N/A N/A N/A
alert_handler_ping_timer_fpv N/A N/A N/A N/A
prim_arbiter_ppc_fpv N/A N/A N/A N/A
prim_arbiter_tree_fpv N/A N/A N/A N/A
prim_arbiter_fixed_fpv 100.00 100.00 100.00 100.00
prim_lfsr_fpv N/A N/A N/A N/A
prim_fifo_sync_fpv 90.52 96.37 97.82 94.48
prim_alert_rxtx_fpv 100.00 96.35 97.92 94.93
prim_alert_rxtx_fatal_fpv 100.00 96.34 97.91 94.85
prim_alert_rxtx_async_fpv 100.00 94.03 96.31 92.66
prim_alert_rxtx_async_fatal_fpv N/A N/A N/A N/A
prim_esc_rxtx_fpv 100.00 96.07 97.75 94.78
prim_packer_fpv N/A N/A N/A N/A
prim_secded_22_16_fpv 0.00 0.00 100.00 0.00
prim_secded_28_22_fpv 0.00 0.00 100.00 0.00
prim_secded_39_32_fpv 0.00 0.00 100.00 0.00
prim_secded_72_64_fpv 0.00 0.00 100.00 0.00
prim_secded_hamming_22_16_fpv 0.00 0.00 100.00 0.00
prim_secded_hamming_39_32_fpv 0.00 0.00 100.00 0.00
prim_secded_hamming_72_64_fpv 0.00 0.00 100.00 0.00
pinmux_fpv N/A N/A N/A N/A
rv_plic_fpv N/A N/A N/A N/A
sha3pad_fpv N/A N/A N/A N/A
adc_ctrl 50.94 N/A N/A N/A
aes N/A N/A N/A N/A
alert_handler N/A N/A N/A N/A
aon_timer 61.82 N/A N/A N/A
clkmgr 69.84 N/A N/A N/A
csrng N/A N/A N/A N/A
edn 98.08 N/A N/A N/A
entropy_src 89.12 N/A N/A N/A
flash_ctrl N/A N/A N/A N/A
gpio 100.00 N/A N/A N/A
hmac 70.49 N/A N/A N/A
i2c 0.00 N/A N/A N/A
keymgr 86.30 N/A N/A N/A
lc_ctrl 0.00 N/A N/A N/A
otp_ctrl 56.40 N/A N/A N/A
otbn 0.00 N/A N/A N/A
pattgen 100.00 N/A N/A N/A
pwrmgr N/A N/A N/A N/A
rom_ctrl 83.33 N/A N/A N/A
rv_dm N/A N/A N/A N/A
rv_timer 100.00 N/A N/A N/A
spi_device 58.93 N/A N/A N/A
sram_ctrl 63.33 N/A N/A N/A
uart 83.54 N/A N/A N/A
usbdev 80.25 N/A N/A N/A
usbuart N/A N/A N/A N/A