Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2.
Mertcan TemelPublished in: ACL2 (2022)
Keyphrases
- hardware implementation
- dynamic programming
- optimization algorithm
- computationally efficient
- worst case
- simulated annealing
- probabilistic model
- term rewriting
- databases
- parallel implementation
- recognition algorithm
- convergence rate
- detection algorithm
- computational cost
- cost function
- preprocessing
- optimal solution
- objective function
- learning algorithm
- np hard
- linear programming
- particle swarm optimization
- k means
- computational complexity
- cooperative
- artificial intelligence