Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification.
Daher KaissMarcelo SkabaZiyad HannaZurab KhasidashviliPublished in: FMCAD (2007)
Keyphrases
- dynamic programming
- detection algorithm
- learning algorithm
- objective function
- optimal solution
- computational complexity
- k means
- cost function
- computational cost
- worst case
- information retrieval
- preprocessing
- matching algorithm
- np hard
- hardware implementation
- expectation maximization
- significant improvement
- search space
- data analysis