Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Hardware Security Assertion and Flaw Detection on CSR_Module
Loading...
46
Assertion Count
Assertain
22.08
28.29
34.5
40.71
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
46
100
100
15
10
Baseline
2026.04
23
100
100
11
8
Feedback
Search any
task
Search any
task
