Hardware Security Verification on GCD hardware design
9.3Verification TimeSecIC3
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SecIC3Verification Technique=Maximum Equivalence Predicates2026.01 | 9.3 | — | |
| SecIC3Verification Technique=All-or-Nothing2026.01 | 12.7 | — | |
| SecIC3Verification Technique=Symmetry + All-or-Nothing2026.01 | 35.1 | — | |
| SecIC3Verification Technique=Maximal Equivalence Predicates2026.01 | 39.3 | — | |
| SecIC3Verification Technique=Symmetry + Maximum Equivalence Predicates2026.01 | 50.7 | — | |
| ABC-PDRVerification Technique=Baseline2026.01 | 74.3 | — | |
| SecIC3Verification Technique=Symmetry2026.01 | 75.1 | — | |
| SecIC3Verification Technique=Symmetry + Maximal Equivalence Predicates2026.01 | 131.9 | — |