Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Hardware Security Verification on FP_ADD
Loading...
13
Proof Bound
SecIC3
10.92
11.46
12
12.54
Jan 29, 2026
Proof Bound
Verification Time
Updated 1mo ago
Evaluation Results
Method
Method
Links
Proof Bound
Verification Time
SecIC3
Verification Technique...
2026.01
13
-
ABC-PDR
Verification Technique...
2026.01
12
-
SecIC3
Verification Technique...
2026.01
11
-
SecIC3
Verification Technique...
2026.01
11
-
SecIC3
Verification Technique...
2026.01
-
466.2
SecIC3
Verification Technique...
2026.01
-
150.3
SecIC3
Verification Technique...
2026.01
-
143.7
SecIC3
Verification Technique...
2026.01
-
186
Feedback
Search any
task
Search any
task
