Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Hardware Security Verification on Multiplier hardware design
Loading...
0.1
Verification Time
SecIC3
-0.356
2.722
5.8
8.878
Jan 29, 2026
Verification Time
Proof Bound
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verification Time
Proof Bound
SecIC3
Verification Technique...
2026.01
0.1
-
SecIC3
Verification Technique...
2026.01
0.1
-
SecIC3
Verification Technique...
2026.01
0.1
-
SecIC3
Verification Technique...
2026.01
0.1
-
SecIC3
Verification Technique...
2026.01
0.1
-
SecIC3
Verification Technique...
2026.01
0.1
-
SecIC3
Verification Technique...
2026.01
3
-
ABC-PDR
Verification Technique...
2026.01
11.5
-
ABC-PDR
Verification Technique...
2026.01
-
12
SecIC3
Verification Technique...
2026.01
-
9
SecIC3
Verification Technique...
2026.01
-
11
SecIC3
Verification Technique...
2026.01
-
13
SecIC3
Verification Technique...
2026.01
-
12
SecIC3
Verification Technique...
2026.01
-
12
SecIC3
Verification Technique...
2026.01
-
12
SecIC3
Verification Technique...
2026.01
-
13
Feedback
Search any
task
Search any
task