TOP_EARLGREY_IP_FPV Formal FPV Results (Summary)

Saturday June 08 2024 18:32:13 UTC

GitHub Revision: f92a5ee77b

Branch: HEAD

name pass_rate formal_cov stimuli_cov checker_cov
pinmux_fpv 99.46 68.76 97.61 66.00
pinmux_chip_fpv 99.46 70.25 97.61 67.63
rv_plic_fpv 100.00 77.18 93.54 76.17