Hardware Acceleration for Constraint Solving for Random Simulation.
Tobias WelpNathan KitchenAndreas KuehlmannPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2012)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint solver
- constraint programming
- real time
- constraint satisfaction
- hardware software
- hardware and software
- low cost
- simulation model
- search algorithm
- computer systems
- special case
- hardware architecture
- data structure
- objective function