Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Hardware Security Assertion and Flaw Detection on Door Lock
Loading...
27
Correct Assertions
Assertain
11.4
15.45
19.5
23.55
Apr 2, 2026
Correct Assertions
Syntactic Correctness
Functional Correctness
Unique CWE Count
Architectural Flaws Detected
Updated 16d ago
Evaluation Results
Method
Method
Links
Correct Assertions
Syntactic Correctness
Functional Correctness
Unique CWE Count
Architectural Flaws Detected
Assertain
2026.04
27
89
89
11
2
Baseline
2026.04
12
73
73
7
0
Feedback
Search any
task
Search any
task
