TOP_EARLGREY_IP_FPV Formal FPV Results (Summary)
Saturday August 17 2024 18:32:21 UTC
GitHub Revision:
76588857da
Branch: HEAD
name
pass_rate
formal_cov
stimuli_cov
checker_cov
pinmux_fpv
99.46
73.57
97.61
71.25
pinmux_chip_fpv
99.25
70.87
97.61
68.31
rv_plic_fpv
100.00
71.25
93.54
69.96