Hardware Security Assertion and Flaw Detection
Benchmarks
Dataset NameSOTA methodMetricTrendResultsLast Updated
39Correct Assertions Count
2
Apr 3, 2026
42Correct Assertions Count
2
Apr 3, 2026
50Correct Assertions Count
2
Apr 3, 2026
33Correct Assertions Count
2
Apr 3, 2026
44Correct Assertions Count
2
Apr 3, 2026
33Assertion Correctness Count
2
Apr 3, 2026
31Assertion Count
2
Apr 3, 2026
46Assertion Count
2
Apr 3, 2026
21Correct Assertions
2
Apr 3, 2026
30Correct Assertions
2
Apr 3, 2026
27Correct Assertions
2
Apr 3, 2026