Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Hardware Security Verification on GCD hardware design
Loading...
9.3
Verification Time
SecIC3
4.396
37.498
70.6
103.702
Jan 29, 2026
Verification Time
Proof Bound
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verification Time
Proof Bound
SecIC3
Verification Technique...
2026.01
9.3
-
SecIC3
Verification Technique...
2026.01
12.7
-
SecIC3
Verification Technique...
2026.01
35.1
-
SecIC3
Verification Technique...
2026.01
39.3
-
SecIC3
Verification Technique...
2026.01
50.7
-
ABC-PDR
Verification Technique...
2026.01
74.3
-
SecIC3
Verification Technique...
2026.01
75.1
-
SecIC3
Verification Technique...
2026.01
131.9
-
Feedback
Search any
task
Search any
task