An efficient algorithm for identifying security relevant logic and vulnerabilities in RTL designs.
David W. PalmerParbati Kumar MannaPublished in: HOST (2013)
Keyphrases
- cost function
- experimental evaluation
- computationally efficient
- expectation maximization
- learning algorithm
- computational cost
- preprocessing
- optimal solution
- computational complexity
- objective function
- search space
- dynamic programming
- similarity measure
- high accuracy
- matching algorithm
- hardware implementation
- convergence rate
- detection algorithm
- information systems
- linear programming
- np hard
- optimization algorithm
- neural network
- clustering method
- times faster