Hardware Security Verification
Benchmarks
DatasetSOTA methodMetricTrendResultsLast updated
1.8Verification Time
8
Feb 26, 2026
0.4Verification Time
8
Feb 26, 2026
65Proof Bound
8
Feb 26, 2026
9.3Verification Time
8
Feb 26, 2026
0.4Verification Time
8
Feb 26, 2026
0.1Verification Time
8
Feb 26, 2026
1.9Verification Time
7
Feb 26, 2026
162Verification Time
6
Feb 26, 2026
13Proof Bound
4
Feb 26, 2026