Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Hardware Security Assertion and Flaw Detection on AES Buggy
Loading...
31
Assertion Count
Assertain
29.96
30.23
30.5
30.77
Apr 2, 2026
Assertion Count
Syntactic Correctness (%)
Functional Correctness (%)
Unique CWE Count
Architectural Flaws Detected
Updated 16d ago
Evaluation Results
Method
Method
Links
Assertion Count
Syntactic Correctness (%)
Functional Correctness (%)
Unique CWE Count
Architectural Flaws Detected
Assertain
2026.04
31
100
100
6
7
Baseline
2026.04
30
100
100
11
6
Feedback
Search any
task
Search any
task
