Hardware Security Verification on Multiplier hardware design
0.1Verification TimeSecIC3
Evaluation results
| Method | Links | ||
|---|---|---|---|
| SecIC3Verification Technique=All-or-Nothing2026.01 | 0.1 | — | |
| SecIC3Verification Technique=Maximal Equivalence Predicates2026.01 | 0.1 | — | |
| SecIC3Verification Technique=Maximum Equivalence Predicates2026.01 | 0.1 | — | |
| SecIC3Verification Technique=Symmetry + All-or-Nothing2026.01 | 0.1 | — | |
| SecIC3Verification Technique=Symmetry + Maximal Equivalence Predicates2026.01 | 0.1 | — | |
| SecIC3Verification Technique=Symmetry + Maximum Equivalence Predicates2026.01 | 0.1 | — | |
| SecIC3Verification Technique=Symmetry2026.01 | 3 | — | |
| ABC-PDRVerification Technique=Baseline2026.01 | 11.5 | — | |
| ABC-PDRVerification Technique=Baseline2026.01 | — | 12 | |
| SecIC3Verification Technique=Symmetry2026.01 | — | 9 | |
| SecIC3Verification Technique=All-or-Nothing2026.01 | — | 11 | |
| SecIC3Verification Technique=Maximal Equivalence Predicates2026.01 | — | 13 | |
| SecIC3Verification Technique=Maximum Equivalence Predicates2026.01 | — | 12 | |
| SecIC3Verification Technique=Symmetry + All-or-Nothing2026.01 | — | 12 | |
| SecIC3Verification Technique=Symmetry + Maximal Equivalence Predicates2026.01 | — | 12 | |
| SecIC3Verification Technique=Symmetry + Maximum Equivalence Predicates2026.01 | — | 13 |